da Angelo » 23/10/2002, 12:22
Riguardo il primo problema vorrei precisare che è possibile dimostrare non tanto l'unicità del completamento, quanto piuttosto l'esistenza di uno spazio metrico completo E "minimo" contenente X.
Con ciò intendo dire che ogni eventuale altro completamento di X dovrà contenere E (sia dal punto di vista insiemistico che metrico).
Per costruire E occorre considerare l'insieme S di tutte le successioni di Cauchy in X, introdurre una relazione di equivalenza in modo da identificare tutte le successioni aventi lo stesso limite, passare all'insieme quoziente E e definire in esso un'opportuna metrica a partire da quella di X.
Infine occorre dimostrare che l'insieme quoziente E rispetto alla metrica introdotta è effettivamente completo.
In sintesi la dimostrazione dell'esistenza di E è questa.
Angelo