Spațiul funcțional
În matematică , un spațiu funcțional este un set de aplicații de o anumită formă de la un set la un set.X{\ displaystyle X}
Da.{\ displaystyle Y.}
Se numește „spațiu” deoarece, în funcție de caz, poate fi un spațiu topologic , un spațiu vectorial sau ambele.
Zone
Spațiile funcționale apar în diferite domenii ale matematicii:
- în teoria mulțimilor , setul de părți ale unui set poate fi identificat cu setul de funcții ale cu valori în , notate . Mai general, toate aplicațiile sunt notate ;X{\ displaystyle X}
X{\ displaystyle X}
{0,1}{\ displaystyle \ {0.1 \}}
{0,1}X{\ displaystyle \ {0,1 \} ^ {X}}
X→Da{\ displaystyle X \ rightarrow Y}
DaX{\ displaystyle Y ^ {X}}![Y ^ {X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/233b4c76e7ea7aad9de5488491e1c6c7363c0bea)
- în algebră liniară , setul de hărți liniare de la un spațiu vectorial la altul pe același câmp comutativ este el însuși un spațiu vectorial;E{\ displaystyle E}
F{\ displaystyle F}![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
- în analiza funcțională , avem aceeași construcție cu hărți liniare continue , pe spații vectoriale topologice , tipic: spații de funcții cu valori reale sau complexe, prevăzute cu o anumită topologie; cele mai cunoscute exemple sunt spațiile hilbertiene și spațiile Banach .
- în analiza funcțională, setul de mapări al setului de numere întregi naturale din orice set se numește spațiu de secvență . Este alcătuit din toate secvențele elementelor ;X{\ displaystyle X}
X{\ displaystyle X}![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- în topologie , putem încerca să construim o topologie pe spațiul funcțiilor continue ale unui spațiu topologic X într-un alt Y , a cărui utilitate depinde de natura spațiilor. O topologie frecvent utilizată este topologia compact-deschisă . O altă topologie posibilă este topologia produsă pe spațiul funcțiilor (nu neapărat continuu) . În acest context, această topologie este denumită și topologia de convergență simplă ;DaX{\ displaystyle Y ^ {X}}
![Y ^ {X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/233b4c76e7ea7aad9de5488491e1c6c7363c0bea)
- în topologia algebrică , studiul teoriei homotopiei se bazează în esență pe studiul invarianților discreți ai spațiilor funcționale;
- în teoria proceselor stochastice , problema tehnică de bază este cum se construiește o măsură de probabilitate pe un spațiu de funcții alcătuit din căi de proces (funcții ale timpului);
- în teoria categoriilor , un spațiu funcțional se numește obiect exponențial . Apare pe de o parte ca bifunctorul Hom ; dar ca un functor (simplu), de tipul [ X , -], apare ca un functor adjunct unui functor de tip (- × X ) pe obiecte;
- în lambda-calcul și programare funcțională , tipurile de spații funcționale sunt utilizate pentru a exprima ideea funcțiilor de ordin superior ;
- în teoria domeniului , ideea fundamentală este de a găsi construcții din ordine parțiale care pot modela lambda-calcul, prin crearea unei categorii carteziene închise .
Analiza funcțională
Domenii generale
Spații speciale
-
Spațiul Schwartz cu funcții de clasă în scădere rapidă și dualul său topologic , spațiul distribuțiilor temperate ;VS∞{\ displaystyle C ^ {\ infty}}
![C ^ {\ infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/971ed05871d69309df32efdfd2020128c9cf69d8)
-
Spații Lp ;
-
K(R){\ displaystyle {\ mathcal {K}} (\ mathbb {R})}
spațiul funcțiilor continue cu suport compact prevăzut cu norma de convergență uniformă;
-
B(R){\ displaystyle {\ mathcal {B}} (\ mathbb {R})}
spațiul funcțiilor continue delimitate ;
-
VS0(R){\ displaystyle {\ mathcal {C}} _ {0} (\ mathbb {R})}
spațiul funcțiilor continue care tind spre zero la infinit;
-
VS∞(R){\ displaystyle {\ mathcal {C}} ^ {\ infty} (\ mathbb {R})}
spațiul funcției clasei ;VS∞{\ displaystyle C ^ {\ infty}}![C ^ {\ infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/971ed05871d69309df32efdfd2020128c9cf69d8)
-
VSvs.∞{\ displaystyle {\ mathcal {C}} _ {c} ^ {\ infty}}
spațiul funcțiilor C∞ cu suport compact , prevăzut cu standarde uniforme ale funcției și ale derivatelor sale;
-
D(R){\ displaystyle {\ mathcal {D}} (\ mathbb {R})}
spațiu de funcții cu suport compact, de data aceasta prevăzut cu o anumită topologie limită inductivă ;VS∞{\ displaystyle C ^ {\ infty}}![C ^ {\ infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/971ed05871d69309df32efdfd2020128c9cf69d8)
-
OU{\ displaystyle {\ mathcal {O}} _ {U}}
spațiul funcțiilor holomorfe;
-
Wk,p{\ displaystyle W ^ {k, p} \,}
Spații Sobolev ;
- Spații Besov
- aplicații afine pe bucăți;
- spațiul funcțiilor continue prevăzut cu topologia compact-deschisă;
- spațiul funcțiilor prevăzut cu topologia convergenței simple;
-
Spații rezistente ;
-
Spații Hölder .
Note și referințe
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">