Teorema da dimensão e pedagogia

Question

O teorema da dimensão (o teorema da nulidade da classificação) pode ser explicado de várias maneiras. Eu considero isso como uma consequência do primeiro teorema do isomorfismo / lema da divisão. Quando ensino álgebra linear de teoria matricial para estudantes, começo com a equação$Ax=b,$e digo aos meus alunos que o teorema da dimensão basicamente diz que o número de variáveis ​​totais é igual à soma do número de variáveis ​​livres e do número de variáveis ​​"não livres". Eles acham essa declaração muito fácil. Se eu ensinar uma aula de matemática "formal / baseada em provas", digo aos meus alunos que o teorema da dimensão basicamente nos diz quanto "coisas" precisamos colocar dentro dos espaços nulos para estendê-las ao espaço vetorial dado.

Hoje encontrei uma analogia muito boa: em certo sentido, o teorema da dimensão é o análogo algébrico linear do Princípio do buraco do pombo. Observe que para qualquer conjunto finito$A,$ a função $f: A \rightarrow A$é injetivo iff sobrejetivo iff bijetivo. É uma consequência do Princípio Pigeonhole. O teorema da dimensão fornece um tipo semelhante de conclusão para um espaço vetorial de dimensão finita$V,$ e qualquer mapa linear $T: V \rightarrow V.$

Agora, você poderia me ajudar fornecendo mais algumas analogias que podem ser explicadas a um estudante do primeiro ano? Muito obrigado. Por favor, fique seguro.

Answer 1

Parece-me que uma discussão sobre como fazer qualquer função $f: A \rightarrow B$em uma bijeção pode estar em ordem. Primeiro, podemos lidar com a substituindo$B$ com $f(A)$. Então deixe$g: A \rightarrow f(A)$ seja a função dada por $g(x)=f(x)$ para cada $x \in A$. Em seguida, pode ser necessário tornar o domínio menor, para cada fibra não vazia$$f^{-1} \{ b \} = \{ a \in A \ | \ f(a)=b \} $$devemos selecionar um ponto . Que a coleção de todos esses pontos seja$S$. Definir$h: S \rightarrow f(A)$ de $h(x)=f(x)$ para cada $x \in S$. E se$x,y \in S$ e $h(x)=h(y)$ então $f(x)=f(y)$ portanto existe $b \in B$ para qual $x,y \in f^{-1}\{ b \}$. Mas, pela construção de$S$, temos $x=y$. Isso é,$h$ é injetivo.

O pequeno passo inocente de selecionar um ponto é bastante difícil para funções arbitrárias. Em contraste, para transformações lineares, cada fibra do domínio é um subespaço afim. Em particular,$T: V \rightarrow W$ tem $$ T^{-1}\{ w \} = \{ x \in V \ | \ T(x)=w \} $$ E se $x,y \in T^{-1}\{ w \}$ então $T(x)=w=T(y)$ conseqüentemente $T(y-x)=0$ e entao $y-x \in \text{Ker}(T)$. Isso é,$y = x+z$ Onde $z \in \text{Ker}(T)$. De fato,$$ T^{-1}\{ w \} = x + \text{Ker}(T) $$ Onde $T(x)=w$. Esta é uma equação muito interessante porque significa todas as fibras de$T$ são do mesmo tamanho que $\text{Ker}(T)$. Ok, é melhor que isso,$\mathbb{R}$ e $\mathbb{R}^2$têm o mesmo tamanho, mas têm dimensões diferentes. As dimensões das fibras de um mapa linear são todas iguais. Claro, a unica maneira$T$ pode ser injetivo é para o tamanho dessas fibras encolher a um único elemento, por sua vez, isso significa que o kernel deve ter dimensão zero.

A prova algébrica linear de que um mapa linear $T: V \rightarrow W$ tem $$\text{dim}(V) = \text{dim}( \text{Ker}(T))+ \text{dim}( \text{Image}(T))$$está ancorado em argumentos de extensão de base. A base para o kernel em$V$é estendido para aqueles vetores fora do kernel. Então, esses vetores fora do kernel têm uma imagem em$W$ que serve para gerar $T(V)$. E se$V=W$ então a única maneira que os vetores fora do kernel podem gerar $T(V)=V$ é para não haver vetores no kernel (exceto zero).

Estou postando isso na esperança de que minha resposta possa estimular alguém a uma resposta melhor.