# Thread:

1. ## Infinite Dimensional Vector Space.

There is a 3 part question that I have been working on.

The first 2 parts are show that for a finite dimensional vector space:

$S \circ T$ is invertible if and only if $S$ and $T$ are invertible.
$S \circ T = I$ if and only if $T \circ S = I$

Theese two I have successfully proven. It is the last part I am having trouble with which is:

Give an example for each that shows that the statements are false for infinite dimensional vector spaces.

Any help would be appreciated, Thanks!

2. Hint : consider the vector space $V$ of sequences of real numbers with the map $S: (a_1,\dots,a_n,\dots) \mapsto (0,a_1,\dots,a_n,\dots)$. Show that $S$ has a left inverse which is not a right inverse.

3. Thanks for the hint!

Here is what I got

Let
and $T: (b_1,...,b_n,...) \mapsto (b_2,...,b_{n+1},...)$

$S \circ T$ will give us the original sequence however
$T \circ S$ wont. This proves the second
" if and only if " does not hold for infinite dimensional matrices.

However Im still not sure how to prove the first part " is invertible if and only if and are invertible." does not hold for infinite dimensional matrices.

4. Well you have to be careful; $T\circ S$ is the identity map, not $S\circ T$. You are right that it proves the second part of the problem.

For the first part, notice that $T\circ S$ is invertible (it's the identity!) but that $T$ is not. So the part of the statement which says "If $T\circ S$ is invertible, then both $T$ and $S$ are invertible" is false. The part which says "If both $T$ and $S$ are invertible, then $T\circ S$ is invertible" is always true; the inverse of $T\circ S$ is then given by $S^{-1}\circ T^{-1}$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 23, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9378983974456787, "perplexity_flag": "head"}