高等代数_第8章：证明_商空间的维数公式

证明

思考

商空间V/N中的每一个元素都是一个集合(陪集)，若将所有元素(陪集)合并，合并的结果是什么？
个人猜测，合并的结果为V(不知对错，仅为个人臆测)

latex代码

\documentclass[UTF8,fleqn]{ctexart}
\usepackage{amsmath}
\usepackage{amsthm}

\begin{document}
商空间定义：

\newtheorem{theorem}{定理}[section]
	设V是域F上的一个线性空间，N是V的一个子空间。在线性空间V上定义一个等价类，如果$x-y\in N$。由x所决定的等价类记作$\overline{x}=x+N$ \\
	集合$\{x+N | x \in V\}$称为商集(其中每一个元素都是一个等价类)，记作V/N.易验证商集中的元素满足线性空间的8条性质，从而V/N是域F上的一个线性空间，称它是V对于N的商空间 \\

下面证明商空间的维数公式:$\dim(V) = dim(N) + dim (V/N)$
\begin{proof}
	设$a_{1},...,a_{s}$为线性空间N的一个基，将$a_{1},...,a_{s}$扩充为线性空间V的一个基$a_{1},...,a_{s},a_{s+1},...,a_{n}$ \\
	商空间V/N中任意一个元素$\overline{x}=x+N$，x可表示为$a_{1},...,a_{s},a_{s+1},...,a_{n}$的线性组合： \\
	$x = k_{1}*a_{1}+...+k_{2}*a_{s}+k_{s+1}*a_{s+1}+...+k_{n}*a_{n}$ \\
	设$y = x-(k_{1}*a_{1}+...+k_{2}*a_{s})$，易验证$\overline{x}=y+N, y \in <a_{s+1},...,a_{n}> $ \\
	构造一个集合$S=\{y+N | y \in <a_{s+1},...,a_{n}>\}$ \\
	商集$V/N=\{x+N | x \in <a_{1},...,a_{s},a_{s+1},...,a_{n}>\}$ \\
	集合S的维数=$rank(<a_{s+1},...,a_{n}>)=n-s$ \\
	由集合S的定义可知，商集V/N中任一元素都在集合S中\\ 
	若能证明集合S中任一元素都在商集V/N中 \\
	那么商集V/N的维数 = 集合S的维数 = $n-s$ \\
	由商集V/N的定义可知，集合S中任一元素都在商集V/N中 \\
	于是，商集V/N的维数 = $n-s$， 又因为$\dim(N)=s$ \\
	所以$\dim(N)+\dim(V/N)=n=dim(V)$
	
\end{proof}

\end{document}