Ben de bir cevap ekleyeyim.
B={aZ+b|a∈Z∖{0},b∈Z}⊆P(Z) ailesinin Z tamsayılar kümesi üzerindeki bir topolojiye baz olduğunu gösterebilmemiz için b1) ∪B=Z ve b2) (∀A,B∈B)(∃A⊆B)(A∩B=∪A) önermelerinin doğru olduğunu göstermeliyiz.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
b1) (a∈Z∖{0})(b∈Z)⇒aZ+b⊆Z⇒∪(a∈Z∖{0})(b∈Z)(aZ+b)=∪B⊆Z…(1)
x∈Z⇒(∃a∈Z∖{0})(∃b∈Z)(∃z∈Z)(x=az+b)⇒x∈aZ+b⊆∪B⇒x∈∪B
Buradan da Z⊆∪B…(2) olur ve
(1),(2)⇒∪B=Z elde edilir.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
b2) A,B∈B olsun.
A∈B⇒(∃a∈Z∖{0})(∃b∈Z)(A=aZ+b)B∈B⇒(∃c∈Z∖{0})(∃d∈Z)(B=cZ+d)}⇒A∩B=(aZ+b)∩(cZ+d)
I. Durum:
obeb(a,c)⧸| d−b⇒A∩B=∅⇒(A:={ }⊆B)(A∩B=∪A)
II. Durum: obeb(a,c) | d−b⇒A∩B=okek(a,c)Z−max{n| a|b+n, c|d+n, n∈Z−}
⇒A∩B∈B⇒(A:={A∩B}⊆B)(A∩B=∪A).
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Dolayısıyla b1 ve b2 koşulları sağlanır. O halde
B={aZ+b|a∈Z∖{0},b∈Z}⊆P(Z) ailesi Z üzerindeki bir topoloji için bazdır.