EDB — 0QJ

[0QJ]Prerequisiti:[0KX]↺↻, [0KZ]↺↻.Mostrate che l’intersezione di due palle è un aperto (secondo la definizione [0NX]↺↻). Si ottiene che la famiglia di tutte le palle soddisfa i requisiti (a) e (b) in esercizio [0KX]↺↻; dunque, per quanto mostrato in [0KZ]↺↻, la famiglia delle palle è una base per la topologia che essa genera (che è la topologia associata allo spazio metrico).