Zadanie nr 9558208
Wykazać, że relacja izomorfizmu jest relacją równoważności w zbiorze przestrzeni liniowych.
Rozwiązanie
Musimy pokazać, że relacja ta jest zwrotna, symetryczna i przechodnia.
Zwrotność oznacza, że każda przestrzeń liniowa jest izomorficzna sama ze sobą. To jest jasne – izomorfizm to odwzorowanie , .
Symetryczność oznacza, że jeżeli przestrzeń jest izomorficzna z , to też jest izomorficzne z . Tak jest, bo jeżeli jest izomorfizmem to też jest izomorfizmem.
Przechodniość oznacza, że jeśli jest izomorficzna z , a jest izomorficzna z , to jest izomorficzna . Własność ta wynika z faktu, że złożenie odwzorowań liniowych i też jest izomorfizmem liniowym.