Аппертная топология - Appert topology

В общая топология, раздел математики, Аппертная топология, названный в честь Антуана Апперта (1934 ), это топология на съемочной площадке Икс = Z⁺ = {1, 2, 3, …} из положительные целые числа.^[1]В топологии Апперта открытыми наборами являются те, которые не содержат 1, и те, которые асимптотически содержат почти все положительные целые числа. Космос Икс с топологией Апперта называется Аппертное пространство.^[1]

Строительство

Для подмножества S из Икс, позволять N (п,S) обозначают количество элементов S которые меньше или равны п:

${\displaystyle \mathrm {N} (n,S)=\#\{m\in S:m\leq n\}.}$

S определяется как открытый в топологии Appert, если он не содержит 1 или имеет асимптотическая плотность равным 1, т.е. удовлетворяет

${\displaystyle \lim _{n\to \infty }{\frac {{\text{N}}(n,S)}{n}}=1}$.

Пустой набор открыт, потому что он не содержит 1, а весь набор Икс открыто с${\displaystyle {\text{N}}(n,X)/n=1}$ для всех п.

Связанные топологии

Топология Appert тесно связана с Пространство форта топология, которая возникает из-за задания набора целых чисел больше единицы дискретная топология, а затем взяв точку 1 как бесконечно удаленную точку в компактификация в одну точку пространства.^[1] Топология Апперта более тонкая, чем топология пространства Форта, как и любое конфинитное подмножество Икс имеет асимптотическую плотность, равную 1.

Характеристики

• Замкнутые подмножества S из Икс те, которые либо содержат 1, либо имеют нулевую асимптотическую плотность, а именно ${\displaystyle \lim _{n\to \infty }\mathrm {N} (n,S)/n=0}$.

• Каждая точка Икс имеет местная основа из Clopen наборы, т.е. Икс это нульмерное пространство.^[1]
  Доказательство: Каждая открытая окрестность 1 также замкнута. Для любого ${\displaystyle x\neq 1}$, ${\displaystyle \{x\}}$ одновременно закрытый и открытый.

• Икс является Хаусдорф и совершенно нормально (Т₆).
  Доказательство: Икс это T₁. Для любых двух непересекающихся замкнутых множеств А и B, по крайней мере, один из них, скажем А, не содержит 1. А затем закрывается и А и его дополнение - непересекающиеся соответствующие окрестности А и B, что показывает, что Икс нормально и по Хаусдорфу. Наконец, любое подмножество, в частности, любое замкнутое подмножество в счетном T₁ пространство - это G_δ, так Икс совершенно нормально.

• Икс счетно, но не первый счетный,^[1] и, следовательно, не второй счетный и нет метризуемый.

• Подмножество Икс является компактный тогда и только тогда, когда это конечно. Особенно, Икс не является локально компактный, так как не существует компактной окрестности 1.

• Икс не является счетно компактный.^[1]
  Доказательство: Бесконечное множество ${\displaystyle \{2^{n}:n\geq 1\}}$ имеет нулевую асимптотическую плотность, поэтому замкнута в Икс. Каждая его точка изолирована. С Икс содержит бесконечное замкнутое дискретное подмножество, оно не предельная точка компактная, а значит, не счетно компактный.

Примечания

1. Стин и Зеебах, 1995 г., стр. 117–118

Рекомендации

• Апперт, Антуан (1934), Propriétés des Espaces Abstraits les Plus Généraux, Действительный. Sci. Ind., Hermann, МИСТЕР  3533016.
• Steen, L.A .; Зеебах, Дж. А. (1995), Контрпримеры в топологии, Дувр, ISBN  0-486-68735-X.