Tychonoffs teoremi - Tychonoffs theorem - Wikipedia

İçinde matematik, Tychonoff teoremi herhangi bir koleksiyonun ürünü olduğunu belirtir. kompakt topolojik uzaylar göre kompakttır ürün topolojisi. Teorem adını almıştır Andrey Nikolayeviç Tikhonov (bazen soyadı yazıya dökülür Tychonoff), 1930'da kapalı güçler için ilk kez kim olduğunu kanıtladı birim aralığı ve 1935'te tam teoremi ve ispatının özel durum için olduğu gibi aynı olduğunu belirtti. Bilinen en eski yayınlanmış kanıt, 1937 tarihli bir Eduard Čech.

Çeşitli metinler Tychonoff teoremini genel topolojideki en önemli tek sonuç olarak tanımlar [ör. Willard, s. 120]; diğerleri bu onuru paylaşmasına izin veriyor Urysohn lemması.

Topolojik tanımlar

Teorem, önemli ölçüde kesin tanımlara bağlıdır. kompaktlık ve ürün topolojisi; Aslında, Tychonoff'un 1935 tarihli makalesi, ürün topolojisini ilk kez tanımlar. Tersine, öneminin bir kısmı, bu belirli tanımların en yararlı (yani en iyi davranan) olanlar olduğuna güven vermektir.

Aslında Heine-Borel'in kompaktlık tanımı - bir uzayın açık kümeler tarafından kaplanması sonlu bir alt kaplamayı kabul eder - nispeten yenidir. 19. ve 20. yüzyılın başlarında daha popüler olan, her dizinin yakınsak bir alt diziyi kabul ettiği Bolzano-Weierstrass kriteriydi, şimdi adı sıralı kompaktlık. Bu koşullar eşdeğerdir ölçülebilir uzaylar ama hiçbiri tüm topolojik uzaylar sınıfında diğerini ima etmez.

İki sıralı kompakt uzayın çarpımının sıralı olarak kompakt olduğunu kanıtlamak neredeyse önemsizdir - biri ilk bileşen için bir alt diziye ve ardından ikinci bileşen için bir alt diziye geçer. Sadece biraz daha ayrıntılı bir "köşegenleştirme" argümanı, sıralı olarak kompakt uzayların sayılabilir bir ürününün sıralı kompaktlığını kurar. Ancak, ürünü süreklilik Kapalı birim aralığının birçok kopyası (olağan topolojisiyle birlikte), Tychonoff teoremine göre kompakt olmasına rağmen, ürün topolojisine göre sıralı olarak kompakt olamaz (örneğin, bkz. Wilansky 1970, s. 134).

Bu kritik bir başarısızlıktır: eğer X bir tamamen düzenli Hausdorff alanı doğal bir gömme var X içine [0,1]C(X,[0,1]), nerede C(X, [0,1]) sürekli haritaların kümesidir. X [0,1] 'e. [0,1] kompaktlığıC(X,[0,1]) böylece her tamamen normal Hausdorff uzayının kompakt bir Hausdorff uzayına gömüldüğünü (veya "sıkıştırılabileceğini" gösterir.) Bu yapı, Stone – Čech kompaktlaştırma. Tersine, kompakt Hausdorff uzaylarının tüm alt uzayları tamamen düzgün Hausdorff'tur, bu nedenle bu tamamen düzenli Hausdorff uzaylarını sıkıştırılabilenler olarak karakterize eder. Bu tür alanlara şimdi denir Tychonoff uzayları.

Başvurular

Tychonoff teoremi, diğer birçok matematiksel teoremi kanıtlamak için kullanılmıştır. Bunlar, belirli uzayların kompaktlığı ile ilgili teoremleri içerir. Banach-Alaoğlu teoremi birim topunun zayıf- * kompaktlığı ikili boşluk bir normlu vektör uzayı, ve Arzelà-Ascoli teoremi her alt dizinin sahip olduğu işlev dizilerini karakterize etmek düzgün yakınsak alt sıra. Ayrıca kompaktlık ile daha az açık bir şekilde ilgili ifadeler de içerirler. De Bruijn-Erdős teoremi her olduğunu belirten en az k-kromatik grafik sonlu ve Curtis-Hedlund-Lyndon teoremi topolojik bir karakterizasyon sağlamak hücresel otomata.

Genel bir kural olarak, girdi olarak oldukça genel bir nesneyi (genellikle cebirsel veya topolojik-cebirsel nitelikte) alan ve kompakt bir uzay çıkaran herhangi bir yapının Tychonoff'u kullanması muhtemeldir: ör. Gelfand alanı değişmeli maksimum ideallerin C * cebir, Taş alanı maksimal ideallerin Boole cebri, ve Berkovich spektrumu değişmeli Banach yüzük.

Tychonoff teoreminin kanıtları

1) Tychonoff'un 1930 kanıtı, tam birikim noktası.

2) Teorem, Alexander alt temel teoremi.

Daha modern ispatlar, aşağıdaki düşüncelerle motive edilmiştir: alt dizilerin yakınsaması yoluyla kompaktlığa yaklaşım, sayılabilir indeks kümeleri durumunda basit ve şeffaf bir ispata yol açar. Bununla birlikte, dizileri kullanan bir topolojik uzayda yakınsama yaklaşımı, uzay sayılabilirliğin ilk aksiyomunu karşıladığında (ölçülebilir uzayların yaptığı gibi) yeterlidir, ancak genellikle başka türlü değildir. Bununla birlikte, her biri en az iki noktaya sahip olan sayılamayacak kadar çok sayıda ölçülebilir alanın çarpımı, ilk olarak sayılamaz. Bu nedenle, rastgele uzaylarda uygun bir yakınsama kavramının, ürünlerin kompaktlığını çıkarmak için kolayca uygulanabilecek, ölçülebilir uzaylarda sıralı kompaktlığı genelleştiren bir kompaktlık kriterine yol açacağını ummak doğaldır. Durumun bu olduğu ortaya çıktı.

3) Filtreler aracılığıyla yakınsama teorisi, Henri Cartan ve geliştiren Bourbaki 1937'de şu kritere yol açar: ultrafilter lemma, bir alan kompakttır ancak ve ancak her biri ultra filtre uzayda birleşiyor. Bununla birlikte, ispat kolaylaşır: herhangi bir izdüşüm haritasının altındaki ürün uzayında bir ultrafiltrenin (tarafından oluşturulan filtre) görüntüsü, faktör uzayında bir ultrafiltredir ve bu nedenle en az birine yakınsar. xben. Biri daha sonra orijinal ultrafiltrenin x = (xben). Ders kitabında, Munkres açıkça herhangi bir filtre-kuramsal dil veya ön bilgi kullanmayan Cartan-Bourbaki ispatının yeniden işlenmesini sağlar.

4) Benzer şekilde, Moore – Smith Kelley'in kavramıyla tamamlanan ağlar aracılığıyla yakınsama teorisi evrensel ağ, uzaydaki her evrensel ağın yakınsaması durumunda bir uzayın kompakt olması kriterine götürür. Bu kriter, Tychonoff teoreminin bir ispatına (Kelley, 1950) götürür; bu, "ultrafiltre tabanı" yerine "evrensel ağ" ın tekrar tekrar ikame edilmesi dışında, filtreler kullanılarak Cartan / Bourbaki ispatıyla aynıdır.

5) Ağları kullanan ancak evrensel ağları kullanmayan bir kanıt 1992'de Paul Chernoff tarafından verildi.

Tychonoff teoremi ve seçim aksiyomu

Yukarıdaki kanıtların tümü, seçim aksiyomu (AC) bir şekilde. Örneğin, üçüncü kanıt, her filtrenin bir ultrafiltrede (yani bir maksimal filtre) içerildiğini kullanır ve bu, Zorn lemması. Zorn lemması, Kelley'in teoremini, her ağın evrensel bir alt ağa sahip olduğunu kanıtlamak için de kullanılır. Aslında, AC'nin bu kullanımları çok önemlidir: 1950'de Kelley, Tychonoff'un teoreminin seçim aksiyomunu ima ettiğini kanıtladı. ZF. AC'nin bir formülasyonunun, bir boş olmayan kümeler ailesinin Kartezyen çarpımının boş olmadığıdır; ancak boş küme kesinlikle kompakt olduğundan, ispat bu kadar basit çizgilerde ilerleyemez. Böylece, Tychonoff'un teoremi diğer birkaç temel teoremi birleştirir (örneğin, her vektör uzayının bir temeli vardır) eşdeğer AC'ye.

Öte yandan, her filtrenin bir ultrafiltrede bulunduğu ifadesi AC anlamına gelmez. Nitekim, bunun eşdeğer olduğunu görmek zor değil Boolean asal ideal teoremi (BPI), Zermelo-Fraenkel küme teorisinin (ZF) aksiyomları ile seçim aksiyomu (ZFC) ile güçlendirilmiş ZF teorisi arasında iyi bilinen bir ara nokta. Tychnoff'un ikinci ispatına ilk bakış, ispatın yukarıdakine aykırı olarak (BPI) 'dan fazlasını kullanmadığını gösterebilir. Bununla birlikte, her yakınsak filtrenin benzersiz bir sınıra sahip olduğu alanlar, tam olarak Hausdorff uzaylarıdır. Genel olarak, indeks kümesinin her bir öğesi için, öngörülen ultra filtre tabanının boş olmayan sınır kümesinin bir öğesini seçmeliyiz ve tabii ki bu, AC'yi kullanır. Bununla birlikte, kompakt Hausdorff uzaylarının ürününün kompaktlığının (BPI) kullanılarak kanıtlanabileceğini ve aslında tersinin de geçerli olduğunu gösterir. Çalışmak gücü Tychonoff'un çeşitli sınırlı uzay sınıfları için teoreminin, aktif bir alandır. küme teorik topoloji.

Tychonoff teoreminin analogu anlamsız topoloji seçim aksiyomunun herhangi bir biçimini gerektirmez.

Tychonoff teoreminden seçim aksiyomunun kanıtı

Tychonoff'un teoreminin genel versiyonunda seçim aksiyomunu ima ettiğini kanıtlamak için, her sonsuz Kartezyen ürün boş olmayan kümelerin sayısı boş değil. İspatın en zor kısmı doğru topolojiyi tanıtmaktır. Doğru topoloji, ortaya çıktığı gibi, eş-sonlu topoloji küçük bir bükülme ile. Bu topoloji verilen her kümenin otomatik olarak kompakt bir uzay haline geldiği ortaya çıktı. Bu gerçeği öğrendikten sonra, Tychonoff teoremi uygulanabilir; sonra kullanırız sonlu kesişim özelliği (FIP) kompaktlığın tanımı. Kanıtın kendisi (nedeniyle J. L. Kelley ) aşağıdaki gibidir:

İzin Vermek {Birben} boş olmayan kümelerden oluşan dizine alınmış bir aile olmak, ben değişen ben (nerede ben keyfi bir indeksleme kümesidir). Bu kümelerin kartezyen çarpımının boş olmadığını göstermek istiyoruz. Şimdi, her biri için benal Xben olmak Birben indeks ile ben (indisleri yeniden adlandırmak için ayrık birlik gerekirse, bunu varsayabiliriz ben üyesi değil Birbenbu yüzden basitçe al Xben = Birben ∪ {ben}).

Şimdi kartezyen ürünü tanımlayın

doğal projeksiyon haritaları ile birlikte πben üyesini alan X onun için beninci terim.

Her birine veriyoruz Xben açık kümeleri eşfinite alt kümeleri olan topoloji Xbenartı boş küme (eş-sonlu topoloji) ve the singleton {ben}.Bu yapar Xben kompakt ve Tychonoff teoremine göre, X ayrıca kompakttır (ürün topolojisinde). Projeksiyon haritaları süreklidir; hepsi Birben''ler kapalı olduğundan, Singleton açık küme {ben} içinde Xben. Yani ters görüntüler πben−1(Birben) kapalı alt kümelerdir X. Bunu not ediyoruz

ve bu ters görüntülerin boş olmadığını ve FIP'ye sahip olduğunu kanıtlayın. İzin Vermek ben1, ..., benN sonlu bir indeks koleksiyonu olmak ben. Sonra sonlu ürün Birben1 × ... × BirbenNboş değildir (burada yalnızca sonlu sayıda seçenek, dolayısıyla AC'ye gerek yoktur); sadece oluşur N-tuples. İzin Vermek a = (a1, ..., aN) böyle ol N-tuple. Uzatıyoruz a tüm dizin kümesine: almak a işleve f tarafından tanımlandı f(j) = ak Eğer j = benk, ve f(j) = j aksi takdirde. Bu adım, her bir alana ekstra noktanın eklenmesinin çok önemli olduğu adımdır., çünkü tanımlamamıza izin veriyor f dışındaki her şey için N-Seçenekler olmadan kesin bir şekilde çiftleyin (zaten yapım yoluyla, j itibaren Xj ). πbenk(f) = ak açıkça her birinin bir unsurudur Birbenk Böylece f her ters görüntüdedir; böylece sahibiz

FIP kompaktlık tanımına göre, tüm kesişme noktası ben boş olmamalıdır ve kanıt tamamlanmıştır.

Ayrıca bakınız

Referanslar

  • Chernoff, Paul R. (1992), "Tychonoff teoreminin ağlar aracılığıyla basit bir kanıtı", American Mathematical Monthly, 99 (10): 932–934, doi:10.2307/2324485, JSTOR  2324485.
  • Johnstone, Peter T. (1982), Taş boşluklar, İleri Matematikte Cambridge Çalışmaları, 3, New York: Cambridge University Press, ISBN  0-521-23893-5.
  • Johnstone, Peter T. (1981), "Seçim aksiyomu olmadan Tychonoff'un teoremi", Fundamenta Mathematicae, 113: 21–35, doi:10.4064 / fm-113-1-21-35.
  • Kelley, John L. (1950), "Topolojide Yakınsama", Duke Matematiksel Dergisi, 17 (3): 277–283, doi:10.1215 / S0012-7094-50-01726-1.
  • Kelley, John L. (1950), "Tychonoff ürün teoremi seçim aksiyomunu ifade eder", Fundamenta Mathematicae, 37: 75–76, doi:10.4064 / fm-37-1-75-76.
  • Munkres, James R. (2000). Topoloji (İkinci baskı). Upper Saddle Nehri, NJ: Prentice Hall, Inc. ISBN  978-0-13-181629-9. OCLC  42683260.
  • Tychonoff, Andrey N. (1930), "Über die topologische Erweiterung von Räumen", Mathematische Annalen (Almanca'da), 102 (1): 544–561, doi:10.1007 / BF01782364.
  • Wilansky, A. (1970), Analiz için Topoloji, Ginn ve Company
  • Willard, Stephen (2004) [1970]. Genel Topoloji. Dover Matematik Kitapları (İlk baskı). Mineola, NY: Dover Yayınları. ISBN  978-0-486-43479-7. OCLC  115240.
  • Wright, David G. (1994), "Tychonoff teoremi.", Proc. Amer. Matematik. Soc., 120 (3): 985–987, doi:10.1090 / s0002-9939-1994-1170549-2.

Dış bağlantılar