Loading AI tools
Från Wikipedia, den fria encyklopedin
Inom matematiken är en kontinuerlig funktion en funktion som inte gör några plötsliga hopp och inte har några avbrott, så att nästan lika värden in garanterar nästan lika värden ut. För en reellvärd funktion f med ett reellt argument kan man precisera detta som att man för varje givet reellt tal x0 där funktionen är definierad och varje given noggrannhet kan vara säker på att f(x) approximerar f(x0) med minst denna noggrannhet för alla x som ligger tillräckligt nära x0.
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2016-10) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Begreppet kontinuitet är dock mycket använt inom olika delar av matematiken, även sådana där denna intuitiva förklaring inte så lätt låter sig omformuleras i en stringent definition. Topologi är den gren av matematiken som studerar kontinuerliga funktioner i dess mest generella betydelse. Där definieras en funktion mellan två topologiska rum som kontinuerlig, om varje urbild av en öppen mängd är öppen. Man kan visa att denna generella definition betyder samma sak som den vanliga definitionen för "vanliga" funktioner.
Att f är kontinuerlig betyder att den är kontinuerlig i varje punkt i Df. Exempelvis är f definierad av f(x) = 1/x för alla x skilda från 0 kontinuerlig, trots att dess graf "hoppar" i punkten 0.
Den intuitiva beskrivningen med hjälp av "noggrannhet" brukar traditionellt formaliseras i termer av ε (som uttalas epsilon och här betecknar "utvärdesnoggrannheten") och δ (delta, "invärdesnoggrannheten"). Detta ger följande precisa definition i det mest grundläggande fallet.
En reellvärd funktion f av en reell variabel (alltså sådan att dess definitionsmängd Df ⊆ R) är:
Man kan göra liknande definitioner exempelvis för funktioner mellan delmängder av olika ändligtdimensionella reella vektorrum, så snart man har preciserat vad |x - y| betyder. Exempelvis brukar man på Rn definiera detta som det euklidiska avståndet:
Allmännare räcker det om både definitionsmängden och målmängden är försedda med metriker, avståndsfunktioner som uppfyller triangelolikheten. Med andra ord, om (X, dx) och (Y, dy) är metriska rum är funktionen f : X → Y kontinuerlig i x ∈ X om det för varje ε > 0 existerar ett δ > 0 så att dX(x, y) < δ ⇒ dY(f(x), f(y)) < ε.
Om X ⊆ R och Y = R ges den vanliga metriken dR definierad genom dR(a,b) = |a - b|, är denna definition ekvivalent med den förra definitionen.
För allmänna topologiska rum X och Y gäller att en funktion f : X → Y är kontinuerlig om urbilden av varje öppen mängd i Y är öppen i X. Det vill säga för varje öppen mängd U ⊆ Y gäller att f -1(U) är öppen i X.
Man säger att f är kontinuerlig i punkten x om det för varje omgivning V till f(x) finns en omgivning U till x, sådan att f(U) ⊆ V. Om X och Y är metriska rum, så är denna definition ekvivalent med den klassiska ε-och-δ-definitionen.
En funktion kan vara kontinuerlig i endast en riktning.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.