EDB — 0KZ

view in whole PDF view in whole HTML

Vista

Italiano

E83

[0KZ] Prerequisiti:[0J1],[026].Viceversa sia \(X\) un insieme e \({\mathcal B}\) una famiglia di sottoinsiemi che verifica le precedenti proprietà (a),(b) viste in [0KX]. Sia \(𝜎\) la famiglia degli insiemi che si ottengono come unione di elementi di \({\mathcal B}\), in simboli 1

\[ 𝜎{\stackrel{.}{=}}\left\{ ⋃_{i∈ I} A_ i : I~ \text{ famiglia di indici e } ~ A_ i∈ {\mathcal B} ∀ i∈ I\right\} ~ ~ ; \]

si intende che anche \(∅∈ 𝜎\). Si mostri che \(𝜎\) è una topologia.

Soluzione 1

[0M0]

  1. Come già discusso in [026], si potrebbe anche usare la notazione più compatta \(𝜎{\stackrel{.}{=}}\left\{ \underline⋃ {\mathcal F} : {\mathcal F} ⊆ {\mathcal B}\right\} \).
Scarica PDF
Bibliografia
Indice analitico
  • topologico, spazio
  • spazio, topologico
  • \( \underline \bigcup \)
  • base, (topologia)
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese