Ayık alan - Sober space

İçinde matematik, bir ayık alan bir topolojik uzay X öyle ki her biri indirgenemez kapalı alt kümesi X ... kapatma tam olarak bir noktadan X: yani, indirgenemez her kapalı alt kümenin benzersiz bir genel nokta.

Özellikler ve örnekler

Hiç Hausdorff (T2) uzay ölçülüdür (indirgenemez tek alt kümeler noktadır) ve tüm ölçülü alanlar Kolmogorov (T0) ve her iki sonuç da katıdır.[1]Ayıklık değil karşılaştırılabilir için T1 durum: bir T örneği1 ayık olmayan uzay, sonsuz bir kümedir. eş-sonlu topoloji, tüm alan, genel noktası olmayan, indirgenemez kapalı bir alt kümedir.2 T'den daha güçlü1 ve ayık, yani her T2 uzay aynı anda T1 ve ayık, aynı anda T olan boşluklar var1 ve ayık, ama T değil2. Böyle bir örnek şudur: X, yeni bir p noktası bitişik olarak gerçek sayılar kümesi olsun; açık kümeler, tüm gerçek açık kümelerdir ve p içeren tüm eş sonlu kümelerdir.

Ayıklık X kesinlikle zorlayan bir durumdur açık alt kümelerin kafesi nın-nin X karar vermek X kadar homomorfizm ile ilgili olan anlamsız topoloji.

Ayıklık yapar uzmanlık ön siparişi a yönlendirilmiş tam kısmi sipariş.

ana spektrum Spec (R) bir değişmeli halka R ile Zariski topolojisi bir kompakt ayık alan.[1] Aslında her spektral uzay (yani kompakt açık alt kümeler koleksiyonunun sonlu kesişimler altında kapatıldığı ve topoloji için bir temel oluşturduğu kompakt, ölçülü bir alan) Spec için homeomorfiktir (R) bazı değişmeli halka için R. Bu bir teoremidir Melvin Hochster.[2]Daha genel olarak, herhangi birinin temelindeki topolojik uzay plan ayık bir alan.

Spec alt kümesi (R) sadece maksimal ideallerden oluşan, R değişmeli bir halkadır, genel olarak ayık değildir.

Ayrıca bakınız

Referanslar

  1. ^ a b Hart, Klaas Pieter; Nagata, Jun-iti; Vaughan Jerry E. (2004). Genel topoloji ansiklopedisi. Elsevier. pp.155 –156. ISBN  978-0-444-50355-8.
  2. ^ Hochster, Melvin (1969), "Değişmeli halkalarda asal ideal yapı", Trans. Amer. Matematik. Soc., 142: 43–60, doi:10.1090 / s0002-9947-1969-0251026-x

daha fazla okuma

Dış bağlantılar