Aufgabe:
Ist T eine Topologie auf X, so bezeichnet T_M die durch T induzierte Relativtopologie auf M ⊆ X.
Ist d eine Meteik auf X, so bezeichnet d_m= d_MxM die durch d induzierte Teilraummetrik auf M⊆ X.
O(Y,d_y) bon einem metrischen Raum (Y,d_y) induzierte Boreltopologie.
Zeigen Sie für alle metrischen Räume (X,d) und alle M⊆ X, dass O( X, d)_M = O( M, d_M)