Kompaktan prostor — разлика између измена
м Разне исправке |
|||
Ред 1: | Ред 1: | ||
[[ |
[[Датотека:Compact.svg|thumb|upright=1.6|Interval {{math|''A'' {{=}} (−∞, −2]}} nije kompaktan zato što nije ograničen. Interval {{math|''C'' {{=}} (2, 4)}} nije kompktan zato što nije zatvoren. Interval {{math|''B'' {{=}} [0, 1]}} je kompaktan zato što je zatvoren i ograničen.]] |
||
U [[mathematics|matematici]], i specifičnije [[general topology|opštoj topologiji]], '''kompaktnost''' je svojstvo koje generalizuje pojam podskupa [[Euclidean space|Euklidovog prostora]] koji je [[closed set|zatvoren]] (da sadrži sve svoje [[limit point|granične tačke]]) i [[bounded set|ograničen]] (onaj kod koga sve njegove tačke leže na datom fiksnom rastojanju jedna od druge). Primeri su [[closed interval|zatvoreni interval]], [[rectangle|četvorougao]], ili konačni set tačaka. Ovaj je pojam definisan za opštije [[topological space|topološke prostore]], nego što je Euklidov prostor na razne načine.<ref>{{cite book |
U [[mathematics|matematici]], i specifičnije [[general topology|opštoj topologiji]], '''kompaktnost''' je svojstvo koje generalizuje pojam podskupa [[Euclidean space|Euklidovog prostora]] koji je [[closed set|zatvoren]] (da sadrži sve svoje [[limit point|granične tačke]]) i [[bounded set|ograničen]] (onaj kod koga sve njegove tačke leže na datom fiksnom rastojanju jedna od druge). Primeri su [[closed interval|zatvoreni interval]], [[rectangle|četvorougao]], ili konačni set tačaka. Ovaj je pojam definisan za opštije [[topological space|topološke prostore]], nego što je Euklidov prostor na razne načine.<ref>{{cite book|last=Bartle |first=Robert G. |last2=Sherbert |first2=Donald R. |year=2000|title=Introduction to Real Analysis |url= |edition=3rd |location=New York |publisher=J. Wiley |id=|accessdate=}}</ref><ref name="Fitzpatrick">{{cite book|last=Fitzpatrick |first=Patrick M. |year=2006|title=Advanced Calculus |url= |edition=2nd |location=Belmont, CA |publisher=Thomson Brooks/Cole |id=ISBN 0-534-37603-7 |accessdate=}}</ref> |
||
Jedna takva generalizacija je da je topološki prostor [[sequentially compact|''sekvencijalno'' kompaktan]] ako svaki [[infinite sequence|infinitivni niz]] tačaka uzet kao uzorak prostora ima beskonačni [[podniz]] koji konvergira u istu tačku prostora. [[Bolcano-Vajerštrasova teorema]] navodi da je podskup Euklidovog prostora kompaktan u ovom sekvencijalnom smislu ako i samo ako je zatvoren i ograničen.<ref name="Fitzpatrick" /> Stoga, ako se izabere beskonačan broj tačaka u ''zatvorenom'' [[unit interval|jediničnom intervalu]] {{math|[0, 1]}} neke od tih tačaka će biti proizvoljno blizo nekim realnom broju u tom prostoru. Na primer, neki od brojeva {{nowrap|1/2, 4/5, 1/3, 5/6, 1/4, 6/7, …}} se akumuliraju do 0 (drugi se akumuliraju do 1). Isti skup tačaka se ne bi akumulirao do bilo koje tačke ''otvorenog'' jediničnog intervala {{math|(0, 1)}}; tako da otvoreni jedinični interval nije kompaktan. Sam Euklidov prostor nije kompaktan, jer nije ograničen. Na primer, niz tačaka {{nowrap|0, 1, 2, 3, …}} nije niz koji konvergira u bilo koji realni broj.<ref>{{cite book |
Jedna takva generalizacija je da je topološki prostor [[sequentially compact|''sekvencijalno'' kompaktan]] ako svaki [[infinite sequence|infinitivni niz]] tačaka uzet kao uzorak prostora ima beskonačni [[podniz]] koji konvergira u istu tačku prostora. [[Bolcano-Vajerštrasova teorema]] navodi da je podskup Euklidovog prostora kompaktan u ovom sekvencijalnom smislu ako i samo ako je zatvoren i ograničen.<ref name="Fitzpatrick" /> Stoga, ako se izabere beskonačan broj tačaka u ''zatvorenom'' [[unit interval|jediničnom intervalu]] {{math|[0, 1]}} neke od tih tačaka će biti proizvoljno blizo nekim realnom broju u tom prostoru. Na primer, neki od brojeva {{nowrap|1/2, 4/5, 1/3, 5/6, 1/4, 6/7, …}} se akumuliraju do 0 (drugi se akumuliraju do 1). Isti skup tačaka se ne bi akumulirao do bilo koje tačke ''otvorenog'' jediničnog intervala {{math|(0, 1)}}; tako da otvoreni jedinični interval nije kompaktan. Sam Euklidov prostor nije kompaktan, jer nije ograničen. Na primer, niz tačaka {{nowrap|0, 1, 2, 3, …}} nije niz koji konvergira u bilo koji realni broj.<ref>{{cite book|last=Bartle |first=Robert G. |last2=Sherbert |first2=Donald R. |year=2000|title=Introduction to Real Analysis |url= |edition=3rd |location=New York |publisher=J. Wiley |id=|accessdate=}}</ref> |
||
Osim zatvorenih i ograničenih podskupova Euklidovog prostora, tipični primeri kompaktnih prostora obuhvataju prostore koji se ne sastoje od geometrijskih tačaka već od [[function space|funkcija]]. Termin ''kompaktan'' je uveo u matematiku [[Maurice Fréchet|Moris Freše]] 1904. godine kao destilaciju ovog koncepta. Kompaktnost u ovoj generalnijoj situaciji igra ekstremno važnu ulogu u [[mathematical analysis|matematičkoj analizi]], zato što se mnoge klasične i važne teoreme analize 19. veka, kao što je [[extreme value theorem|teorema ekstremne vrednosti]], lako generalizuju u ovoj situaciji. Tipičnu primenu pruža [[Arzelà–Ascoli theorem|Arcela-Askolijeva teorema]] ili [[Peano existence theorem|Peanova teorema postojanja]], prema kojoj je moguće izvesti zaključak o postojanju funkcije s nekim traženim svojstvima kao ograničavajući slučaj date elementarnije konstrukcije. |
Osim zatvorenih i ograničenih podskupova Euklidovog prostora, tipični primeri kompaktnih prostora obuhvataju prostore koji se ne sastoje od geometrijskih tačaka već od [[function space|funkcija]]. Termin ''kompaktan'' je uveo u matematiku [[Maurice Fréchet|Moris Freše]] 1904. godine kao destilaciju ovog koncepta. Kompaktnost u ovoj generalnijoj situaciji igra ekstremno važnu ulogu u [[mathematical analysis|matematičkoj analizi]], zato što se mnoge klasične i važne teoreme analize 19. veka, kao što je [[extreme value theorem|teorema ekstremne vrednosti]], lako generalizuju u ovoj situaciji. Tipičnu primenu pruža [[Arzelà–Ascoli theorem|Arcela-Askolijeva teorema]] ili [[Peano existence theorem|Peanova teorema postojanja]], prema kojoj je moguće izvesti zaključak o postojanju funkcije s nekim traženim svojstvima kao ograničavajući slučaj date elementarnije konstrukcije. |
||
Ред 12: | Ред 12: | ||
== Literatura == |
== Literatura == |
||
{{refbegin|30em}} |
{{refbegin|30em}} |
||
* {{citation | |
* {{citation |last=Alexandrov |first=Pavel |authorlink=Pavel Alexandrov |last2=Urysohn |first2=Pavel |authorlink2=Pavel Urysohn |title=Mémoire sur les espaces topologiques compacts |journal=Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, Proceedings of the section of mathematical sciences |volume=14 |year=1929}}. |
||
* {{citation | |
* {{citation |last=Arkhangel'skii |first=A.V. |last2=Fedorchuk |first2=V.V. |contribution=The basic concepts and constructions of general topology |editor1=Arkhangel'skii, A.V. |editor2=Pontrjagin, L.S. |title=General topology I |publisher=Springer |year=1990 |isbn=978-0-387-18178-3 |series=Encyclopedia of the Mathematical Sciences |volume=17}}. |
||
* {{springer|id=C/c023530|title=Compact space|first=A.V.|last=Arkhangel'skii}}. |
* {{springer|id=C/c023530|title=Compact space|first=A.V.|last=Arkhangel'skii}}. |
||
* {{citation |first=Bernard |last=Bolzano |authorlink=Bernard Bolzano |title=Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege |year=1817 |url=https://books.google.com/?id=EoW4AAAAIAAJ&dq=%22Rein%20analytischer%20Beweis%20des%20Lehrsatzes%22&pg=PA2-IA3#v=onepage&q= |publisher=Wilhelm Engelmann}} (''Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation''). |
* {{citation |first=Bernard |last=Bolzano |authorlink=Bernard Bolzano |title=Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege |year=1817 |url=https://books.google.com/?id=EoW4AAAAIAAJ&dq=%22Rein%20analytischer%20Beweis%20des%20Lehrsatzes%22&pg=PA2-IA3#v=onepage&q= |publisher=Wilhelm Engelmann}} (''Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation''). |
||
* {{citation |last=Borel |first=Émile |authorlink=Émile Borel |title=Sur quelques points de la théorie des fonctions |journal=[[Annales Scientifiques de l'École Normale Supérieure]]|series= 3 |volume=12 |year=1895 |pages= |
* {{citation |last=Borel |first=Émile |authorlink=Émile Borel |title=Sur quelques points de la théorie des fonctions |journal=[[Annales Scientifiques de l'École Normale Supérieure]]|series= 3 |volume=12 |year=1895 |pages=9-55 |url=http://www.numdam.org/numdam-bin/item?id=ASENS_1895_3_12__9_0 |jfm=26.0429.03 }} |
||
* {{Citation | |
* {{Citation | last=Boyer | first=Carl B. |author-link=Carl Benjamin Boyer | title=The history of the calculus and its conceptual development | publisher=Dover Publications | location=New York | mr=0124178 |year=1959}}. |
||
* {{citation |first=Cesare |last=Arzelà |authorlink=Cesare Arzelà |title=Sulle funzioni di linee |journal=Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. |volume=5 |issue=5 |pages= |
* {{citation |first=Cesare |last=Arzelà |authorlink=Cesare Arzelà |title=Sulle funzioni di linee |journal=Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. |volume=5 |issue=5 |pages=55-74 |year=1895}}. |
||
* {{citation |first=Cesare |last=Arzelà |authorlink=Cesare Arzelà |title=Un'osservazione intorno alle serie di funzioni |journal=Rend. Dell' Accad. R. Delle Sci. Dell'Istituto di Bologna |pages= |
* {{citation |first=Cesare |last=Arzelà |authorlink=Cesare Arzelà |title=Un'osservazione intorno alle serie di funzioni |journal=Rend. Dell' Accad. R. Delle Sci. Dell'Istituto di Bologna |pages=142-159 |year=1882–1883}}. |
||
* {{citation |first=G. |last=Ascoli |authorlink=Giulio Ascoli |title=Le curve limiti di una varietà data di curve |journal=Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat. |volume=18 |issue=3 |pages= |
* {{citation |first=G. |last=Ascoli |authorlink=Giulio Ascoli |title=Le curve limiti di una varietà data di curve |journal=Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat. |volume=18 |issue=3 |pages=521-586 |year=1883–1884}}. |
||
* {{citation | first=Maurice |last=Fréchet |authorlink=Maurice Fréchet |title=Sur quelques points du calcul fonctionnel |year=1906 |journal= [[Rendiconti del Circolo Matematico di Palermo]] |volume=22 |doi=10.1007/BF03018603 |pages= |
* {{citation | first=Maurice |last=Fréchet |authorlink=Maurice Fréchet |title=Sur quelques points du calcul fonctionnel |year=1906 |journal= [[Rendiconti del Circolo Matematico di Palermo]] |volume=22 |doi=10.1007/BF03018603 |pages=1-72 |issue=1}}. |
||
* {{citation | |
* {{citation | last=Gillman|first=Leonard|last2=Jerison|first2=Meyer|title=Rings of continuous functions|publisher=Springer-Verlag|year=1976}}. |
||
* {{citation | last=Kelley |first=John |title=General topology |publisher=Springer-Verlag |year=1955 |series=Graduate Texts in Mathematics |volume=27}}. |
* {{citation | last=Kelley |first=John |title=General topology |publisher=Springer-Verlag |year=1955 |series=Graduate Texts in Mathematics |volume=27}}. |
||
* {{Citation | |
* {{Citation | last=Kline | first=Morris |author-link=Morris Kline | title=Mathematical thought from ancient to modern times |year=1972 | publisher=Oxford University Press | edition=3rd |isbn=978-0-19-506136-9 | publication-date=1990}}. |
||
* {{citation |first=Henri |last=Lebesgue |title=Leçons sur l'intégration et la recherche des fonctions primitives |url=https://books.google.com/?id=VfUKAAAAYAAJ&dq=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1#v=onepage&q= |year=1904 |publisher=Gauthier-Villars}}. |
* {{citation |first=Henri |last=Lebesgue |title=Leçons sur l'intégration et la recherche des fonctions primitives |url=https://books.google.com/?id=VfUKAAAAYAAJ&dq=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1#v=onepage&q= |year=1904 |publisher=Gauthier-Villars}}. |
||
* {{Citation | |
* {{Citation | last=Robinson | first=Abraham |author-link=Abraham Robinson | title=Non-standard analysis | publisher=Princeton University Press |isbn=978-0-691-04490-3 |mr=0205854 |year=1996}}. |
||
* {{citation |first=C.T. |last= |
* {{citation |first=C.T. |last=Scarborough |first2= A.H. |last2=Stone |title= Products of nearly compact spaces |journal= Transactions of the American Mathematical Society |volume= 124 |year=1966 |pages=131–147 |doi=10.2307/1994440 |issue=1 |publisher=Transactions of the American Mathematical Society, Vol. 124, No. 1 |jstor=1994440|url=http://www.ams.org/tran/1966-124-01/S0002-9947-1966-0203679-7/S0002-9947-1966-0203679-7.pdf }}. |
||
* {{Citation | |
* {{Citation | last=Steen | first=Lynn Arthur |author-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. |author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover Publications reprint of 1978 |isbn=978-0-486-68735-3 | mr=507446 |year=1995}} |
||
* {{Citation|last=Willard|first=Stephen|title=General Topology|publisher=Dover publications|year=1970| |
* {{Citation|last=Willard|first=Stephen|title=General Topology|publisher=Dover publications|year=1970|id=ISBN 0-486-43479-6|pages=}} |
||
{{refend}} |
{{refend}} |
||
== Spoljašnje veze == |
== Spoljašnje veze == |
||
{{ |
{{Commonscat-lat|Compact space}} |
||
* {{PlanetMath|urlname=countablycompact|title=Countably compact}} |
* {{PlanetMath|urlname=countablycompact|title=Countably compact}} |
||
* {{cite arXiv |
* {{cite arXiv|last=Sundström |first=Manya Raman |eprint=1006.4131v1 |title=A pedagogical history of compactness |class=math.HO |year=2010 |version=}} |
||
{{Authority control-lat}} |
{{Authority control-lat}} |
Верзија на датум 10. март 2019. у 09:34
U matematici, i specifičnije opštoj topologiji, kompaktnost je svojstvo koje generalizuje pojam podskupa Euklidovog prostora koji je zatvoren (da sadrži sve svoje granične tačke) i ograničen (onaj kod koga sve njegove tačke leže na datom fiksnom rastojanju jedna od druge). Primeri su zatvoreni interval, četvorougao, ili konačni set tačaka. Ovaj je pojam definisan za opštije topološke prostore, nego što je Euklidov prostor na razne načine.[1][2]
Jedna takva generalizacija je da je topološki prostor sekvencijalno kompaktan ako svaki infinitivni niz tačaka uzet kao uzorak prostora ima beskonačni podniz koji konvergira u istu tačku prostora. Bolcano-Vajerštrasova teorema navodi da je podskup Euklidovog prostora kompaktan u ovom sekvencijalnom smislu ako i samo ako je zatvoren i ograničen.[2] Stoga, ako se izabere beskonačan broj tačaka u zatvorenom jediničnom intervalu [0, 1] neke od tih tačaka će biti proizvoljno blizo nekim realnom broju u tom prostoru. Na primer, neki od brojeva 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, … se akumuliraju do 0 (drugi se akumuliraju do 1). Isti skup tačaka se ne bi akumulirao do bilo koje tačke otvorenog jediničnog intervala (0, 1); tako da otvoreni jedinični interval nije kompaktan. Sam Euklidov prostor nije kompaktan, jer nije ograničen. Na primer, niz tačaka 0, 1, 2, 3, … nije niz koji konvergira u bilo koji realni broj.[3]
Osim zatvorenih i ograničenih podskupova Euklidovog prostora, tipični primeri kompaktnih prostora obuhvataju prostore koji se ne sastoje od geometrijskih tačaka već od funkcija. Termin kompaktan je uveo u matematiku Moris Freše 1904. godine kao destilaciju ovog koncepta. Kompaktnost u ovoj generalnijoj situaciji igra ekstremno važnu ulogu u matematičkoj analizi, zato što se mnoge klasične i važne teoreme analize 19. veka, kao što je teorema ekstremne vrednosti, lako generalizuju u ovoj situaciji. Tipičnu primenu pruža Arcela-Askolijeva teorema ili Peanova teorema postojanja, prema kojoj je moguće izvesti zaključak o postojanju funkcije s nekim traženim svojstvima kao ograničavajući slučaj date elementarnije konstrukcije.
Reference
- ^ Bartle, Robert G.; Sherbert, Donald R. (2000). Introduction to Real Analysis (3rd изд.). New York: J. Wiley.
- ^ а б Fitzpatrick, Patrick M. (2006). Advanced Calculus (2nd изд.). Belmont, CA: Thomson Brooks/Cole. ISBN 0-534-37603-7.
- ^ Bartle, Robert G.; Sherbert, Donald R. (2000). Introduction to Real Analysis (3rd изд.). New York: J. Wiley.
Literatura
- Alexandrov, Pavel; Urysohn, Pavel (1929), „Mémoire sur les espaces topologiques compacts”, Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, Proceedings of the section of mathematical sciences, 14.
- Arkhangel'skii, A.V.; Fedorchuk, V.V. (1990), „The basic concepts and constructions of general topology”, Ур.: Arkhangel'skii, A.V.; Pontrjagin, L.S., General topology I, Encyclopedia of the Mathematical Sciences, 17, Springer, ISBN 978-0-387-18178-3.
- Arkhangel'skii, A.V. (2001). „Compact space”. Ур.: Hazewinkel Michiel. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104..
- Bolzano, Bernard (1817), Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege, Wilhelm Engelmann (Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation).
- Borel, Émile (1895), „Sur quelques points de la théorie des fonctions”, Annales Scientifiques de l'École Normale Supérieure, 3, 12: 9—55, JFM 26.0429.03
- Boyer, Carl B. (1959), The history of the calculus and its conceptual development, New York: Dover Publications, MR 0124178.
- Arzelà, Cesare (1895), „Sulle funzioni di linee”, Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat., 5 (5): 55—74.
- Arzelà, Cesare (1882—1883), „Un'osservazione intorno alle serie di funzioni”, Rend. Dell' Accad. R. Delle Sci. Dell'Istituto di Bologna: 142—159.
- Ascoli, G. (1883—1884), „Le curve limiti di una varietà data di curve”, Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat., 18 (3): 521—586.
- Fréchet, Maurice (1906), „Sur quelques points du calcul fonctionnel”, Rendiconti del Circolo Matematico di Palermo, 22 (1): 1—72, doi:10.1007/BF03018603.
- Gillman, Leonard; Jerison, Meyer (1976), Rings of continuous functions, Springer-Verlag.
- Kelley, John (1955), General topology, Graduate Texts in Mathematics, 27, Springer-Verlag.
- Kline, Morris (1972), Mathematical thought from ancient to modern times (3rd изд.), Oxford University Press (објављено 1990), ISBN 978-0-19-506136-9.
- Lebesgue, Henri (1904), Leçons sur l'intégration et la recherche des fonctions primitives, Gauthier-Villars.
- Robinson, Abraham (1996), Non-standard analysis, Princeton University Press, ISBN 978-0-691-04490-3, MR 0205854.
- Scarborough, C.T.; Stone, A.H. (1966), „Products of nearly compact spaces” (PDF), Transactions of the American Mathematical Society, Transactions of the American Mathematical Society, Vol. 124, No. 1, 124 (1): 131—147, JSTOR 1994440, doi:10.2307/1994440.
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover Publications reprint of 1978 изд.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 507446
- Willard, Stephen (1970), General Topology, Dover publications, ISBN 0-486-43479-6
Spoljašnje veze
- Countably compact at PlanetMath.org.
- Sundström, Manya Raman (2010). „A pedagogical history of compactness”. arXiv:1006.4131v1 [math.HO].