Curva (matematica) (original) (raw)

Da Wikipedia, l'enciclopedia libera.

In matematica, una curva è un oggetto unidimensionale e continuo, come ad esempio la circonferenza e la retta. Una curva può giacere su un piano, nello spazio euclideo, o in uno spazio topologico più generale.

Una curva può essere pensata intuitivamente come la traiettoria descritta da un oggetto puntiforme che si muove con continuità in qualche spazio. Per definire la curva si fa ricorso alle nozioni di funzione continua e funzione differenziabile.

Il sostegno di una curva è la sua immagine

La spirale di Fermat è una curva semplice non chiusa

Una rodonea con tre petali. Si tratta di una curva chiusa non semplice (si interseca più volte nel centro)

Una curva semplice chiusa nello spazio tridimensionale è un nodo

In topologia, una curva è una funzione vettoriale continua

f : I → X , {\displaystyle f\colon I\rightarrow X,} $f\colon I\rightarrow X,$

dove I {\displaystyle I} $I$ è un intervallo della retta reale e X {\displaystyle X} $X$ è un qualsiasi spazio topologico.

Ad esempio, X {\displaystyle X} $X$ può essere il piano cartesiano R 2 {\displaystyle \mathbb {R} ^{2}} $\mathbb {R} ^{2}$ , lo spazio euclideo R 3 {\displaystyle \mathbb {R} ^{3}} $\mathbb {R} ^{3}$ o un generico spazio R m {\displaystyle \mathbb {R} ^{m}} $\mathbb {R} ^{m}$ . L'intervallo I {\displaystyle I} $I$ può essere ad esempio un intervallo chiuso [ a , b ] {\displaystyle [a,b]} $[a,b]$ , un intervallo aperto ( a , b ) {\displaystyle (a,b)} $(a,b)$ , una semiretta [ a , + ∞ ) {\displaystyle [a,+\infty )} ![{\displaystyle a,+\infty )}, ecc.

L'immagine di una curva Im ⁡ f {\displaystyle \operatorname {Im} f} $\operatorname {Im} f$ viene anche chiamata sostegno, o supporto, della curva. Spesso, con un abuso di linguaggio, per "curva" si intende il sostegno e non la funzione. In topologia, quando l'intervallo di partenza I {\displaystyle I} $I$ è quello unitario [ 0 , 1 ] {\displaystyle [0,1]} $[0,1]$ si parla di cammino o arco.

Ad esempio, una circonferenza è il sostegno della curva

f : [ 0 , 1 ] → R 2 f ( t ) = ( cos ⁡ ( 2 π t ) , sin ⁡ ( 2 π t ) ) . {\displaystyle f\colon [0,1]\rightarrow \mathbb {R} ^{2}\qquad f(t)=(\cos(2\pi t),\sin(2\pi t)).} $f\colon [0,1]\rightarrow \mathbb {R} ^{2}\qquad f(t)=(\cos(2\pi t),\sin(2\pi t)).$

Una curva f : [ a , b ] → X {\displaystyle f\colon [a,b]\to X} $f\colon [a,b]\to X$ che coincide sui suoi estremi, cioè tale che f ( a ) = f ( b ) {\displaystyle f(a)=f(b)} $f(a)=f(b)$ , è una curva chiusa o un laccio.

Una curva f : [ a , b ] → X {\displaystyle f\colon [a,b]\to X} $f\colon [a,b]\to X$ si dice semplice se è tale che presi due punti distinti x 1 , x 2 {\displaystyle x_{1},x_{2}} $x_{1},x_{2}$ , di cui almeno uno appartenente all'intervallo ( a , b ) {\displaystyle (a,b)} $(a,b)$ , risulta f ( x 1 ) ≠ f ( x 2 ) {\displaystyle f(x_{1})\neq f(x_{2})} $f(x_{1})\neq f(x_{2})$ . In altre parole la funzione f {\displaystyle f} $f$ è quasi iniettiva e la curva non ha autointersezioni con un'unica eccezione ammessa: f ( a ) = f ( b ) . {\displaystyle f(a)=f(b).} $f(a)=f(b).$

Una curva piana chiusa e semplice è anche detta curva di Jordan, quindi una circonferenza è una curva di Jordan.

Una curva piana è una curva a valori nel piano cartesiano R 2 {\displaystyle \mathbb {R} ^{2}} $\mathbb {R} ^{2}$ .

f : [ a , b ] → R 2 . {\displaystyle f\colon [a,b]\rightarrow \mathbb {R} ^{2}.} $f\colon [a,b]\rightarrow \mathbb {R} ^{2}.$

Se p : I → I {\displaystyle p\colon I\rightarrow I} $p\colon I\rightarrow I$ è un omeomorfismo crescente dell'intervallo, ad esempio una funzione derivabile e biettiva con derivata positiva, allora g = f ∘ p {\displaystyle g=f\circ p} $g=f\circ p$ ottenuta componendo p {\displaystyle p} $p$ e f {\displaystyle f} $f$ è un'altra curva avente lo stesso sostegno di f {\displaystyle f} $f$ . Si dice che g {\displaystyle g} $g$ è un'altra parametrizzazione della curva f {\displaystyle f} $f$ .

La curva di Koch non è differenziabile

Una curva liscia (un'ellisse, in rosso) ed una curva regolare a tratti (la sua evoluta, in blu)

Una curva topologica, per quanto sembri rispondere all'esigenza di rappresentare oggetti "filiformi" e "senza spessore" che localmente sembrano una retta incurvata, può essere molto bizzarra se non si fissano delle condizioni aggiuntive. Ad esempio nel 1890 il matematico Giuseppe Peano scoprì una curva, nota ora come curva di Peano, avente come sostegno un quadrato. La curva di Koch è invece un frattale con dimensione di Hausdorff compresa tra uno e due, un oggetto dimensionalmente intermedio tra la retta e il piano.

Una condizione aggiuntiva che garantisce l'aspetto "filiforme" del sostegno è la differenziabilità: se X {\displaystyle X} $X$ è il piano o un altro spazio euclideo, è possibile chiedere che f {\displaystyle f} $f$ sia differenziabile in ogni punto e in questo caso si parla di curva differenziabile o regolare. In una curva differenziabile, per ogni t ∈ I {\displaystyle t\in I} $t\in I$ è definita una tangente alla curva in f ( t ) {\displaystyle f(t)} $f(t)$ : la tangente è il vettore delle derivate di f {\displaystyle f} $f$ .

Se si immagina di percorrere la curva nel tempo, la lunghezza del vettore tangente è la velocità della curva nel punto. La velocità può cambiare tramite riparametrizzazione della curva: data una curva, c'è sempre un'unica parametrizzazione tale che la velocità sia costantemente uno e questo parametro è la lunghezza d'arco.

In molti contesti è utile parlare di curve "lisce" anche se queste dovessero presentare uno più punti di cuspide e/o più punti angolosi. Per questo scopo si definisce una curva regolare a tratti come una curva il cui dominio I {\displaystyle I} $I$ è unione di intervalli successivi, su ciascuno dei quali la curva è regolare. Formalmente, si chiede che esista una partizione di un intervallo I {\displaystyle I} $I$ in alcuni intervalli I 1 , … , I k {\displaystyle I_{1},\ldots ,I_{k}} $I_{1},\ldots ,I_{k}$ tali che la restrizione della curva su ciascun I j {\displaystyle I_{j}} $I_{j}$ sia regolare.

Due modi utilizzati per rappresentare una curva in tre dimensioni sono la forma cartesiana e la forma parametrica.

È possibile rappresentare una curva tridimensionale in forma implicita identificando il suo supporto con il luogo di zeri di un campo vettoriale Φ : R 3 → R 2 {\displaystyle \Phi \colon \mathbb {R} ^{3}\rightarrow \mathbb {R} ^{2}} $\Phi \colon \mathbb {R} ^{3}\rightarrow \mathbb {R} ^{2}$ , ovvero i punti di coordinate ( x , y , z ) {\displaystyle (x,y,z)} $(x,y,z)$ che verificano il sistema:

C : { f ( x , y , z ) = 0 g ( x , y , z ) = 0 {\displaystyle C:{\begin{cases}f(x,y,z)=0\\g(x,y,z)=0\end{cases}}} $C:{\begin{cases}f(x,y,z)=0\\g(x,y,z)=0\end{cases}}$

dove f {\displaystyle f} $f$ e g {\displaystyle g} $g$ sono funzioni di classe almeno C 1 {\displaystyle C^{1}} $C^{1}$ a valori reali. Questa rappresentazione può essere pensata come curva intersezione di due superfici in forma implicita.

Condizione sufficiente per la regolarità locale di una curva così rappresentata nell'intorno di un suo punto P 0 = ( x 0 , y 0 , z 0 ) {\displaystyle P_{0}=(x_{0},y_{0},z_{0})} $P_{0}=(x_{0},y_{0},z_{0})$ è che la jacobiana:

J = ∂ Φ ( x 0 , y 0 , z 0 ) ∂ ( x , y , z ) {\displaystyle J={\frac {\partial \Phi (x_{0},y_{0},z_{0})}{\partial (x,y,z)}}} $J={\frac {\partial \Phi (x_{0},y_{0},z_{0})}{\partial (x,y,z)}}$

abbia rango massimo

Una curva in forma parametrica è una funzione vettoriale di una sola variabile α ( t ) : I = [ a , b ] ⊆ R → R 3 {\displaystyle \alpha (t):I=[a,b]\subseteq \mathbb {R} \to \mathbb {R} ^{3}} $\alpha (t):I=[a,b]\subseteq \mathbb {R} \to \mathbb {R} ^{3}$ del tipo:[1]

α ( t ) = ( α 1 ( t ) , α 2 ( t ) , α 3 ( t ) ) . {\displaystyle \alpha (t)=(\alpha _{1}(t),\alpha _{2}(t),\alpha _{3}(t)).} $\alpha (t)=(\alpha _{1}(t),\alpha _{2}(t),\alpha _{3}(t)).$

Si può scrivere anche:

α ( t ) : { x = α 1 ( t ) y = α 2 ( t ) z = α 3 ( t ) . {\displaystyle \alpha (t):{\begin{cases}x=\alpha _{1}(t)\\y=\alpha _{2}(t)\\z=\alpha _{3}(t).\end{cases}}} $\alpha (t):{\begin{cases}x=\alpha _{1}(t)\\y=\alpha _{2}(t)\\z=\alpha _{3}(t).\end{cases}}$

La variabile t ∈ I {\displaystyle t\in I} $t\in I$ si chiama parametro. Una curva è una funzione di classe C 1 {\displaystyle C^{1}\ } $C^{1}\$ in un intervallo se le funzioni α 1 ( t ) {\displaystyle \alpha _{1}(t)\ } $\alpha _{1}(t)\$ , α 2 ( t ) {\displaystyle \alpha _{2}(t)\ } $\alpha _{2}(t)\$ e α 3 ( t ) {\displaystyle \alpha _{3}(t)\ } $\alpha _{3}(t)\$ hanno derivate continue in questo intervallo. Una curva C 1 {\displaystyle C^{1}\ } $C^{1}\$ si dice regolare in un punto t 0 {\displaystyle t_{0}\ } $t_{0}\$ se:

ϕ ′ ( t 0 ) = ( α 1 ′ ( t 0 ) , α 2 ′ ( t 0 ) , α 3 ′ ( t 0 ) ) ≠ ( 0 , 0 , 0 ) {\displaystyle \phi '(t_{0})=(\alpha _{1}^{'}(t_{0}),\alpha _{2}^{'}(t_{0}),\alpha _{3}^{'}(t_{0}))\neq (0,0,0)} $\phi '(t_{0})=(\alpha _{1}^{'}(t_{0}),\alpha _{2}^{'}(t_{0}),\alpha _{3}^{'}(t_{0}))\neq (0,0,0)$

e regolare in I {\displaystyle I} $I$ se ciò vale in ogni punto di I {\displaystyle I\ } $I\$ . Un punto in cui si abbia α ′ ( t 0 ) = ( 0 , 0 , 0 ) {\displaystyle \alpha '(t_{0})=(0,0,0)\ } $\alpha '(t_{0})=(0,0,0)\$ si dice punto singolare per la curva.

Se ( X , d ) {\displaystyle (X,d)} $(X,d)$ è uno spazio metrico (ad esempio, il piano o uno spazio euclideo) si può usare la metrica stessa per definire la lunghezza di una curva. Sia data una curva φ : [ a , b ] → X {\displaystyle \varphi \colon [a,b]\to X} $\varphi \colon [a,b]\to X$ e una partizione dell'intervallo [ a , b ] {\displaystyle [a,b]} $[a,b]$ cioè un insieme finito di punti ρ = { t k } k n {\displaystyle \rho =\{t_{k}\}_{k}^{n}} $\rho =\{t_{k}\}_{k}^{n}$ tale che:

a = t 0 < t 1 < … < t n = b . {\displaystyle a=t_{0}<t_{1}<\ldots <t_{n}=b.} $a=t_{0}<t_{1}<\ldots <t_{n}=b.$

Allora si può definire la poligonale, cioè una curva che è l'unione dei segmenti aventi vertici l'immagine degli elementi della partizione tramite φ {\displaystyle \varphi } $\varphi$ . In pratica la poligonale è una curva spezzata i cui vertici appartengono alla curva originale. Più i vertici della poligonale sono numerosi e più la sua lunghezza approssimerà quella della curva.

Si può definire la lunghezza della curva f {\displaystyle f} $f$ come estremo superiore della lunghezza della poligonale al variare della partizione ρ {\displaystyle \rho } $\rho$ :

L ( φ ) = sup ρ [ d ( φ ( t 0 ) , φ ( t 1 ) ) + … + d ( φ ( t n − 1 ) , φ ( t n ) ) ] = sup ρ ∑ i = 1 n d ( φ ( t i ) , φ ( t i − 1 ) ) = = sup { ∑ i = 1 n d ( φ ( t i ) , φ ( t i − 1 ) ) : n ∈ N e a = t 0 < t 1 < ⋯ < t n = b } . {\displaystyle {\begin{aligned}L(\varphi )=&\sup _{\rho }\left[d(\varphi (t_{0}),\varphi (t_{1}))+\ldots +d(\varphi (t_{n-1}),\varphi (t_{n}))\right]=\sup _{\rho }\sum _{i=1}^{n}d(\varphi (t_{i}),\varphi (t_{i-1}))=\\=&\sup \left\{\sum _{i=1}^{n}d(\varphi (t_{i}),\varphi (t_{i-1})):n\in \mathbb {N} {\text{ e }}a=t_{0}<t_{1}<\dots <t_{n}=b\right\}.\end{aligned}}} ${\begin{aligned}L(\varphi )=&\sup _{\rho }\left[d(\varphi (t_{0}),\varphi (t_{1}))+\ldots +d(\varphi (t_{n-1}),\varphi (t_{n}))\right]=\sup _{\rho }\sum _{i=1}^{n}d(\varphi (t_{i}),\varphi (t_{i-1}))=\\=&\sup \left\{\sum _{i=1}^{n}d(\varphi (t_{i}),\varphi (t_{i-1})):n\in \mathbb {N} {\text{ e }}a=t_{0}<t_{1}<\dots <t_{n}=b\right\}.\end{aligned}}$

Se questo valore non è infinito, la curva si dice rettificabile. Le curve di Peano e di Koch non sono rettificabili.

La lunghezza di una curva non dipende dalla sua parametrizzazione, cioè non varia se si considerano parametrizzazioni equivalenti.

Una curva derivabile è rettificabile: per ogni punto t {\displaystyle t} $t$ dell'intervallo è definita una velocità, e si può dimostrare che la lunghezza definita come sopra è uguale all'integrale di questa velocità su I {\displaystyle I} $I$ :

L ( φ ) = ∫ I | | φ ˙ ( t ) | | d t , {\displaystyle L(\varphi )=\int _{I}||{\dot {\varphi }}(t)||\,dt,} $L(\varphi )=\int _{I}||{\dot {\varphi }}(t)||\,dt,$

usando la nozione di integrale di linea si può scrivere anche:

L ( φ ) = ∫ φ d t . {\displaystyle L(\varphi )=\int _{\varphi }dt.} $L(\varphi )=\int _{\varphi }dt.$

↑ Matt Insall and Eric Weisstein, MathWorld - Curve, su mathworld.wolfram.com, 2012.

Erwin Kreyszig, Differential Geometry, Dover Publications, New York, 1991, ISBN 0-486-66721-9
Euclid, commentary and trans. by T. L. Heath Elements Vol. 1 (1908 Cambridge) Google Books
E. H. Lockwood A Book of Curves (1961, Cambridge)
Arco (topologia)
Curva piana
Curva nello spazio
Punto singolare di una curva
Differenziabilità
Derivata
Geometria analitica
Geometria differenziale delle curve
Glossario sulle curve matematiche
Lunghezza di un arco
Superficie
Tangente (geometria)
Teorema delle funzioni implicite
(EN) curve, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Curve, su MathWorld, Wolfram Research.
(EN) A Visual Dictionary of Special Plane Curves curato da Xah Lee
(EN) Famous Curves Index Archiviato il 13 aprile 2006 in Internet Archive. in MacTutor
(EN) Articolo in MathWorld
(EN) Mathematical curves curato da jan wassenaar
Indice delle curve tridimensionali nel sito Encyclopédie des Formes Mathématiques Remarquables, cioè mathcurve.com
(EN) Famous Curves Index, School of Mathematics and Statistics, University of St Andrews, Scotland
(EN) Mathematical curves A collection of 874 two-dimensional mathematical curves
(EN) Gallery of Space Curves Made from Circles, includes animations by Peter Moses, su faculty.evansville.edu.
(EN) Gallery of Bishop Curves and Other Spherical Curves, includes animations by Peter Moses, su faculty.evansville.edu.

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finitaSottoinsiemiIntervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai densoPuntiPunto isolato · Punto di accumulazione · Punto di aderenzaFunzioniFunzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compattoSuccessioniLimite · Limite di una successione · Successione · Rete · Convergenza · Successione di CauchyTeoremiTeorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di RiemannApplicazioni praticheTopologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare · Transitività topologica
Spazi topologici	Topologie classicheTopologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia d'ordine · Piano di Moore · Topologia p-adicaCostruzioni topologicheTopologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · SospensioneTopologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forteAltri oggetti topologiciSfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di WadaStrutture misteSpazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	NumerabilitàAssioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenzialeSeparazioneAssioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normaleCompattezzaSpazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compattaConnessioneSpazio connesso · Spazio semplicemente connessoMetrizzabilitàSpazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitatoAltre proprietàSpazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	FondamentiSpazio semplicemente connesso · Gruppo fondamentaleOmotopiaArco · Nerbo · Omotopia · Gruppi di omotopiaOmologia e coomologiaOmologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abelianaSollevamentoSollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van KampenTopologia algebrica avanzataGrado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simplicialeSuperficiCaratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

Controllo di autorità	Thesaurus BNCF 10133 · LCCN (EN) sh85034914 · GND (DE) 4033824-1 · BNF (FR) cb119415578 (data) · J9U (EN, HE) 987007538488705171 · NDL (EN, JA) 00567237