I was revising linear algebra and came across the topic of 'constructing complementary subspace given a subspace' - and since the proof (that used Zorn's lemma) of its (complementary subspace's) existence was not constructive, the author defined an equivalence relation in constructing a complementary (to the subspace W) subspace, U, of the vector space V.. The equivalence relation, [tex]\equiv[/tex](adsbygoogle = window.adsbygoogle || []).push({}); _{w}, is defined by:

(u [tex]\equiv[/tex]_{w}v) iff (u-v) [tex]\in[/tex] W

I understand this algebraically, but I am not able to 'visualize' it correctly. Can some one, please, clarify this with an example... like, let, V=R^{4}and W={(x_{1},x_{2},0,0) | x_{i}[tex]\in[/tex] R}.

How does the space of V get partitioned?

How does a partition of V help in the construction of U?

Is U unique? Because, I can construct only one U for the above V and W. Am I missing something?

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Equivalence relation in complementary subspace

Loading...

Similar Threads - Equivalence relation complementary | Date |
---|---|

Group action and equivalence relation | Dec 16, 2012 |

Test if 2 transformations produce equivalent relations to a reference | Oct 19, 2011 |

Equivalence relation on C | Feb 3, 2011 |

Equivalence relation on Vector Space | Jan 21, 2011 |

Equivalence Relations question | Feb 29, 2004 |

**Physics Forums - The Fusion of Science and Community**