Il teorema della dimensione e la pedagogia

Question

Il teorema della dimensione (il teorema della nullità di rango) può essere spiegato in molti modi. Lo considero una conseguenza del primo teorema di isomorfismo / lemma di scissione. Quando insegno algebra lineare teorica delle matrici agli studenti universitari, inizio con l'equazione$Ax=b,$e dico ai miei studenti che il teorema delle dimensioni fondamentalmente dice che il numero di variabili totali è uguale alla somma del numero di variabili libere e del numero di variabili "non libere". Trovano questa affermazione molto semplice. Se insegno in una classe di matematica universitaria "formale / basata su prove", dico ai miei studenti che il teorema della dimensione fondamentalmente ci dice quanta "roba" dobbiamo inserire negli spazi nulli per estenderla allo spazio vettoriale dato.

Oggi ho trovato un'ottima analogia: in un certo senso, il teorema della dimensione è l'analogo algebrico lineare del principio della casella. Nota che per ogni insieme finito$A,$ la funzione $f: A \rightarrow A$è iniettivo iff surjective iff bijective. È una conseguenza del principio Pigeonhole. Il teorema della dimensione fornisce un tipo simile di conclusione per uno spazio vettoriale a dimensione finita$V,$ e qualsiasi mappa lineare $T: V \rightarrow V.$

Ora, potresti aiutarmi fornendo un paio di altre analogie che possono essere spiegate a uno studente junior? Grazie mille. Per favore, stai al sicuro.

Answer 1

Mi sembra che una discussione su come rendere qualsiasi funzione $f: A \rightarrow B$in una biiezione potrebbe essere in ordine. In primo luogo, possiamo occuparci della sostituzione$B$ con $f(A)$. Quindi, lascia$g: A \rightarrow f(A)$ essere la funzione data da $g(x)=f(x)$ per ciascuno $x \in A$. Successivamente, potrebbe essere necessario ridurre il dominio, per ogni fibra non vuota$$f^{-1} \{ b \} = \{ a \in A \ | \ f(a)=b \} $$dovremmo selezionare un punto . Lascia che sia la raccolta di tutti questi punti$S$. Definire$h: S \rightarrow f(A)$ di $h(x)=f(x)$ per ciascuno $x \in S$. Se$x,y \in S$ e $h(x)=h(y)$ poi $f(x)=f(y)$ quindi esiste $b \in B$ per cui $x,y \in f^{-1}\{ b \}$. Ma, per costruzione di$S$, noi abbiamo $x=y$. Questo è,$h$ è iniettiva.

Il piccolo passo innocente di selezionare un punto è piuttosto difficile per le funzioni arbitrarie. Al contrario, per le trasformazioni lineari ogni fibra del dominio è un sottospazio affine. In particolare,$T: V \rightarrow W$ ha $$ T^{-1}\{ w \} = \{ x \in V \ | \ T(x)=w \} $$ Se $x,y \in T^{-1}\{ w \}$ poi $T(x)=w=T(y)$ quindi $T(y-x)=0$ e così $y-x \in \text{Ker}(T)$. Questo è,$y = x+z$ dove $z \in \text{Ker}(T)$. Infatti,$$ T^{-1}\{ w \} = x + \text{Ker}(T) $$ dove $T(x)=w$. Questa è un'equazione molto interessante perché significa tutte le fibre di$T$ hanno le stesse dimensioni di $\text{Ker}(T)$. Ok, è meglio di così$\mathbb{R}$ e $\mathbb{R}^2$hanno le stesse dimensioni, ma hanno dimensioni diverse. Le dimensioni delle fibre di una mappa lineare sono tutte uguali. Ovviamente l'unico modo$T$ può essere iniettiva se la dimensione di queste fibre si riduce a un singolo elemento, a sua volta ciò significa che il nocciolo deve essere a dimensione zero.

La prova algebrica lineare che una mappa lineare $T: V \rightarrow W$ ha $$\text{dim}(V) = \text{dim}( \text{Ker}(T))+ \text{dim}( \text{Image}(T))$$è ancorato agli argomenti dell'estensione di base. La base per il kernel in$V$è esteso a quei vettori al di fuori del kernel. Quindi, quei vettori al di fuori del kernel hanno un'immagine in$W$ che serve a generare $T(V)$. Se$V=W$ quindi l'unico modo in cui i vettori esterni al kernel possono generare $T(V)=V$ è che non ci siano vettori nel kernel (eccetto zero).

Sto postando questo nella speranza che la mia risposta possa spronare qualcun altro a una risposta migliore.