B1 ailesinin baz olduğu bariz.
B2 ailesi de τ topolojisi için bir bazdır. Gösterelim.
a∈Q olmak üzere (−∞,a) şeklindeki kümeler ile ∅ ve R kümelerinin B2 ailesinin bir altailesinin birleşimi şeklinde yazabiliriz. Şöyleki:
- A:=∅⊆B2 ve ⋃A=∅,
- A:={R}⊆B2 ve ⋃A=R,
- a∈Q olsun. a rasyonel sayısı pozitif de olsa negatif de olsa (−∞,a) kümesinin B2 ailesinin bir altailesinin birleşimi şeklinde yazmak kolay.
Burada a∈R∖Q olduğunda (−∞,a) şeklindeki kümelerin B2 ailesinin bir altailesinin birleşimi şeklinde nasıl yazılabileceğini düşünmemiz lazım.
a∈R∖Q ve a pozitif olsun.
Genel terimi ⌊a⋅10n⌋10n olan (⌊a⋅10n⌋10n) dizisi, artan bir rasyonel sayı dizisidir. A:={(−∞,⌊a⋅10n⌋10n)|n∈N}⊆B2 ve (−∞,a)=⋃A olur. Dolayısıyla a rasyonel ve pozitif sayı iken (−∞,a) kümesinin B2 ailesinin bir altailesinin birleşimi şeklinde yazılabileceğini göstermiş olduk. a rasyonel ve negatif sayı iken de benzer işler yapılabileceğini sana bırakalım @Dilekakln.