TR3.5

Bijective Functions

Exr0n 2021-09-27 Mon 11:51

1 #definition bijective   def

A map is bijective if it is both injective and bijective.

1.1 Results

1.1.1 If a map \(T : V \to W\) is bijective, then \(\text{dim }V = \text{dim }W\) by Axler3.23 and Axler3.24.