相关管理信息学课件4.4信息传输的抗干扰性.pptVIP

* 容易证明，F2 上线性空间 V 的非空子集 C 是 V 的子空间的充要条件是：对?X, Y?C，?k1, k2?F2，恒有: k1X + k2Y ? C 若α1, α2,…, αk?V，容易证明 S = { λ1α1+λ2α2+…+λkαk | λi?F2 , i=1,2,…,k } 是V的子空间(共有2k个n维向量)，并称 S 是由α1, α2,…, αk生成的子空间，记为span{α1, α2,…, αk}。 4.4.3 二元线性码 ：有限域上的线性空间 * 定义4.6: 设 则称： 为 X 与 Y 的内积；如果 X·Y = 0，则称 X 与 Y 正交。 4.4.3 二元线性码 ：有限域上的线性空间 * 正交子空间 定理4.2 设C是F2上线性空间F2n的子空间，令 则C⊥ 是F2n的子空间，且 dimC + dimC⊥ = n。 证明： (1) 若a1、a2?C⊥ ，则 k1a1 + k2a2 ? C⊥ (2)若dimC = k，则存在k个线性无关的向量构成C子空间的基，而C⊥中的任意向量X应与C的每个基向量正交。则X的基础解系含有 n-k 个解向量。 4.4.3 二元线性码 ：有限域上的线性空间 * 线性码 定义4.7 : 称F2n的任一子空间 C 是长为 n 的线性码，并称子空间C 的维数为线性码C 的维数，仍记为dimC。并记长为 n、维数为 k 的线性码为［n，k］线性码。 设C⊥是线性空间F2n的子空间C的正交补子空间，则C⊥也是长为n的线性码，称C⊥是线性码C的对偶码；当C⊥=C时，称C是自对偶码。 S = {1000 , 0100 , 0000 , 1100} 是 [ 4, 2 ] 线性码 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 线性码的码字个数 定理4.3: 设C是二元[ n, k ] 线性码，则 (1) C恰好含有M=2k个码字； (2)当C是自对偶码时，k = n/2。 证明提示： (1)若dimC = k，则存在k个线性无关的向量构成C子空间的基，对于C中的任意向量可用k个基向量线性表示。 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 生成矩阵 设C是二元［n，k］线性码， α1 = ( α11 , α12, …, α1n ), α2 = ( α21, α22, …, α2n ), … αk = ( αk1, αk2, …, αkn ) 是 C 在 F2 上的一组基 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 则对?c?C，存在惟一一组常数λ1, λ2,…, λk?F2，使 对? λ1, λ2,…, λk?F2，由于C 是线性空间，α1, α2,…, αk?C，故 λ1α1 + λ2α2 + … + λkαk = (λ1, λ2,…, λk)G ? C 因此 C = { c | c = (λ1, λ2,…, λk)G , λ1, λ2, …, λk?F2} 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 定义4.8 称 为［n, k］线性码C的生成矩阵。 若C是［n, k］线性码，则C⊥是［n, n-k］线性码。设h1, h2,…, hn-k是C⊥的基，则 是C⊥的生成矩阵。 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 检验矩阵 定理4.4 设C是［n，k］线性码，H是C的对偶码C⊥的生成矩阵，对?X=(x1, x2, …, xn)?F2n，则X?C的充要条件是HXT=0。 证明提示：（1）若X?C ，对于C⊥中构成生成矩阵H的任一基向量均与X正交，故有HXT=0。 （2）因为HXT=0，而C⊥中的任一向量Y可由H生成，所以X与C⊥中的任意向量正交，故X属于C⊥的正交子空间即C空间。 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 定义4.9 称C⊥的生成矩阵H为C的校验矩阵。 若G 与 H 分别是线性码 C 的生成矩阵与校验矩阵，则 HGT = 0 从而 GHT = ( HGT)T = 0T = 0 H与G之间相互惟一确定。 4.4.3 二元线性码 ：线性码的生成矩阵与校验矩阵 * 例2 设C是二元［6，3］线性码，其校验矩阵为 求该码C的生成矩阵和码字 解：由HXT