Rodzina \(\displaystyle{ B\subset P (X)}\) jest bazą topologii \(\displaystyle{ T(B)}\) generowanej przez rodzinę \(\displaystyle{ B }\) wtedy i tylko wtedy, gdy spełnione są następujące dwa warunki:
\(\displaystyle{ 1.}\) Rodzina \(\displaystyle{ B}\) jest pokryciem \(\displaystyle{ X}\);
\(\displaystyle{ 2.}\) Dla dowolnych zbiorów \(\displaystyle{ V_1,V_2\in B }\) oraz punktu \(\displaystyle{ x\in V_1\cap V_2}\) istnieje zbiór \(\displaystyle{ V\in B}\) taki, że \(\displaystyle{ x\in V\subset V_1\cap V_2}\).
czy drugi warunek możemy zastąpić przez
\(\displaystyle{ 2. }\) Dla dowolnych zbiorów \(\displaystyle{ V_1,V_2\in B}\) także \(\displaystyle{ V_1\cap V_2\in B}\)?
Definiowanie topologii przez bazę
-
- Użytkownik
- Posty: 15
- Rejestracja: 17 lis 2019, o 14:32
- Płeć: Mężczyzna
- wiek: 21
- Podziękował: 6 razy