Алаңдар - Arens square

Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) Бұл мақала үшін қосымша дәйексөздер қажет тексеру. Өтінемін көмектесіңіз осы мақаланы жақсарту арқылы дәйексөздерді сенімді дерек көздеріне қосу. Ресурссыз материалға шағым жасалуы және алынып тасталуы мүмкін. Дереккөздерді табу: «Арендер алаңы»  – жаңалықтар  · газеттер  · кітаптар  · ғалым  · JSTOR (Қаңтар 2019) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) Осы мақаланың тақырыбы Уикипедияға сәйкес келмеуі мүмкін сандар үшін ескерту нұсқаулығы. Анықтамалықты анықтауға көмектесуіңізді өтінемін сенімді екінші көздер бұл тәуелсіз Тақырыптың мазмұны және оны елеусіз еске түсіруден басқа маңызды қамту. Егер жарамсыздықты анықтау мүмкін болмаса, мақала болуы мүмкін біріктірілген, қайта бағытталды, немесе жойылды. Дереккөздерді табу: «Аренс алаңы»  – жаңалықтар  · газеттер  · кітаптар  · ғалым  · JSTOR (Қаңтар 2019) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жылы математика, Алаңдар Бұл топологиялық кеңістік.

Анықтама

Аренс алаңы - топологиялық кеңістік ${ displaystyle (X, tau)}$ қайда

${ displaystyle X = ((0,1) ^ {2} cap mathbb {Q} ^ {2}) cup {(0,0) } cup {(1,0) } кубок {(1/2, r { sqrt {2}}) | r in mathbb {Q}, 0$

Топология ${ displaystyle tau}$ мыналардан анықталады негіз. Әр тармақ ${ displaystyle (0,1) ^ {2} cap mathbb {Q} ^ {2}}$ беріледі жергілікті негіз мұра болып қалған салыстырмалы түрде ашық жиынтықтардың Евклидтік топология қосулы ${ displaystyle (0,1) ^ {2}}$. Қалған нүктелері ${ displaystyle X}$ жергілікті базалар берілген

• ${ displaystyle U_ {n} (0,0) = {(0,0) } cup {(x, y) | 0$
• ${ displaystyle U_ {n} (1,0) = {(1,0) } cup {(x, y) | 3/4$
• ${ displaystyle U_ {n} (1/2, r { sqrt {2}}) = {(x, y) | 1/4$

Қасиеттері

Кеңістік ${ displaystyle (X, tau)}$ қанағаттандырады:

1. болып табылады Т_2​¹⁄2, өйткені екі нүкте де жоқ ${ displaystyle (0,1) ^ {2} cap mathbb {Q} ^ {2}}$, не ${ displaystyle (0,0)}$, не ${ displaystyle (0,1)}$ форманың нүктесімен бірдей екінші координатаға ие бола алады ${ displaystyle (1/2, r { sqrt {2}})}$, үшін ${ displaystyle r in mathbb {Q}}$.
2. емес Т₃ немесе Т_3​¹⁄2, өйткені ${ displaystyle (0,0) U_ {n} (0,0)} ішінде$ ашық жиынтық жоқ ${ displaystyle U}$ осындай ${ displaystyle (0,0) in U subset { overline {U}} subset U_ {n} (0,0)}$ бері ${ displaystyle { overline {U}}}$ бірінші координаты болатын нүктені қамтуы керек ${ displaystyle 1/4}$, бірақ ондай нүкте жоқ ${ displaystyle U_ {n} (0,0)}$ кез келген үшін ${ displaystyle n in mathbb {N}}$.
3. емес Урысон, үздіксіз функция болғандықтан ${ displaystyle f: X ден [0,1]}$ осындай ${ displaystyle f (0,0) = 0}$ және ${ displaystyle f (1,0) = 1}$ ашық жиынтықтардың кері кескіндерін білдіреді ${ displaystyle [0,1 / 4)}$ және ${ displaystyle (3 / 4,1]}$ туралы ${ displaystyle [0,1]}$ евклидтік топологиямен ашық болуы керек. Демек, бұл кері суреттерде болуы керек еді ${ displaystyle U_ {n} (0,0)}$ және ${ displaystyle U_ {m} (1,0)}$ кейбіреулер үшін ${ displaystyle m, n in mathbb {N}}$. Сонда егер ${ displaystyle r { sqrt {2}} < min {1 / n, 1 / m }}$, бұл орын алуы мүмкін ${ displaystyle f (1/2, r { sqrt {2}})}$ жоқ ${ displaystyle [0,1 / 4) cap (3 / 4,1] = emptyset}$. Мұны қарастырсақ ${ displaystyle f (1/2, r { sqrt {2}}) notin [0,1 / 4)}$, содан кейін ашық аралық бар ${ displaystyle U ni f (1/2, r { sqrt {2}})}$ осындай ${ displaystyle { overline {U}} cap [0,1 / 4) = emptyset}$. Бірақ содан кейін кері кескіндер ${ displaystyle { overline {U}}}$ және ${ displaystyle { overline {[0,1 / 4)}}}$ астында ${ displaystyle f}$ құрамына кіретін ашық жиындарды қамтитын жабық жиынтықтар болады ${ displaystyle (1/2, r { sqrt {2}})}$ және ${ displaystyle (0,0)}$сәйкесінше. Бастап ${ displaystyle r { sqrt {2}} < min {1 / n, 1 / m }}$, бұл жабық жиынтықтар ${ displaystyle U_ {n} (0,0)}$ және ${ displaystyle U_ {k} (1/2, r { sqrt {2}})}$ кейбіреулер үшін ${ displaystyle k in mathbb {N}}$ ажырату мүмкін емес. Ұқсас қайшылық жорамалдау кезінде туындайды ${ displaystyle f (1/2, r { sqrt {2}}) notin (3 / 4,1]}$.
4. болып табылады жартылай тәрізді, өйткені топологияны анықтайтын көршіліктің негізі тұрақты ашық жиынтықтардан тұрады.
5. болып табылады екінші есептелетін, бері ${ displaystyle X}$ есептелетін және әр нүктенің есептелетін жергілікті негізі бар. Басқа жақтан ${ displaystyle (X, tau)}$ әлсіз де ықшам емес, жергілікті деңгейде де ықшам емес.
6. болып табылады мүлдем ажыратылған бірақ жоқ толығымен бөлінген, өйткені оның әрбір қосылған компоненттері және оның квази компоненттер жиынтығынан басқалары барлығы бірыңғай нүктелер ${ displaystyle {(0,0), (1,0) }}$ бұл екі нүктелі квази компонент.
7. шашыраңқы емес (әр бос емес ішкі жиын ${ displaystyle A}$ туралы ${ displaystyle X}$ ішінде оқшауланған нүкте бар ${ displaystyle A}$), өйткені әрбір негіз жиынтығы өздігінен тығыз.
8. емес нөлдік, бері ${ displaystyle (0,0)}$ ашық және жабық жиынтықтардан тұратын жергілікті негізі жоқ. Бұл үшін ${ displaystyle x in [0,1]}$ жеткіліксіз, ұпайлар ${ displaystyle (x, 1/4)}$ әр базаның ішкі нүктелері емес, шектік нүктелер болады.

Әдебиеттер тізімі

• Линн Артур Стин және Дж. Артур Сибах, кіші, Топологиядағы қарсы мысалдар. Springer-Verlag, Нью-Йорк, 1978. Dover Publications қайта бастырған, Нью-Йорк, 1995 ж. ISBN  0-486-68735-X (Dover басылымы).