- #1
mathmari
Gold Member
MHB
- 5,049
- 7
Hey! :giggle:
Question 1:
Let $C$ be a $\mathbb{R}$-vector space, $1\leq n\in \mathbb{N}$ and let $\phi_1, \ldots , \phi_n:V\rightarrow V$ be linear maps.
I have shown by induction that $\phi_1\circ \ldots \circ \phi_n$ is then also a linear map.
I want to show now by induction that if $V$ is finite then $\text{Rank}(\phi_1\circ \ldots \circ \phi_n)\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq n\}$.
Base Case : For $n=1$ we have that $\text{Rank}(\phi_1)\leq \min \{\text{Rang}(\phi_1)\}$, so the equality holds.
Inductive Hypothesis : We suppose that it holds for $n=m$, so $\text{Rank}(\phi_1\circ \ldots \circ \phi_m)\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq m\}$. (IV)
Inductive Step : We want to show that it holds for $n=m+1$, i.e. that $\text{Rank}(\phi_1\circ \ldots \circ \phi_m\circ \phi_{m+1})\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq m+1\}$.
Does it hold in general that $\text{Im}(f\circ g)\subseteq \text{Im}(f)$ and $\text{Im}(f\circ g)\subseteq \text{Im}(g)$ and so we get $\text{Rank}(f\circ g)\leq \text{Rank}(f)$ and $\text{Rank}(f\circ g)\leq \text{Rank}(g)$ ?
:unsure:
Question 1:
Let $C$ be a $\mathbb{R}$-vector space, $1\leq n\in \mathbb{N}$ and let $\phi_1, \ldots , \phi_n:V\rightarrow V$ be linear maps.
I have shown by induction that $\phi_1\circ \ldots \circ \phi_n$ is then also a linear map.
I want to show now by induction that if $V$ is finite then $\text{Rank}(\phi_1\circ \ldots \circ \phi_n)\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq n\}$.
Base Case : For $n=1$ we have that $\text{Rank}(\phi_1)\leq \min \{\text{Rang}(\phi_1)\}$, so the equality holds.
Inductive Hypothesis : We suppose that it holds for $n=m$, so $\text{Rank}(\phi_1\circ \ldots \circ \phi_m)\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq m\}$. (IV)
Inductive Step : We want to show that it holds for $n=m+1$, i.e. that $\text{Rank}(\phi_1\circ \ldots \circ \phi_m\circ \phi_{m+1})\leq \min \{\text{Rank}(\phi_i)\mid 1\leq i\leq m+1\}$.
Does it hold in general that $\text{Im}(f\circ g)\subseteq \text{Im}(f)$ and $\text{Im}(f\circ g)\subseteq \text{Im}(g)$ and so we get $\text{Rank}(f\circ g)\leq \text{Rank}(f)$ and $\text{Rank}(f\circ g)\leq \text{Rank}(g)$ ?
:unsure:
Last edited by a moderator: