Hamel基


前置知识:

线性空间 的定义以及相关概念中的线性相关、线性无关、极大线性无关组、子空间等。

线性基是线性空间的一组基,是研究线性空间的重要工具。

Hamel 基

定义

称线性空间 的一个极大线性无关组为 的一组 Hamel 基线性基,简称

规定线性空间 的基为空集。

另外,将 维数 记作 , 定义如下:

  • 若基是有限集合,则定义 维数 为基的元素个数。
  • 若基不是有限集合,则定义 维数.

存在性

由 Zorn 引理,我们可以证明:任意线性空间均存在 Hamel 基。

证明思路如下:

设线性空间 的全体线性无关向量组为 , 显然 构成偏序集。

容易验证 上的任意全序子集均有上界,故由 Zorn 引理, 有极大元 .

容易验证 即为线性空间 的 Hamel 基。

性质(有限维)

  1. 对于有限维线性空间 , 设其维数为 , 则:

    1. 中的任意 个向量线性相关。

    2. 中的任意 个线性无关的向量均为 的基。

    3. 中的任意向量均可被向量组 线性表出,则其是 的一个基。

      任取 中的一组基 , 由已知条件,向量组 可被 线性表出,故

      因此

    4. 中任意线性无关向量组 均可通过插入一些向量使得其变为 的一个基。

  2. (子空间维数公式)令 是关于 的有限维线性空间,且 也是有限维的,则

    ,,.

    的一组基 , 将其分别扩充为 中的基:.

    接下来只需证明向量组 线性无关即可。

    .

    .

    注意到上式左边在 中,右边在 中,故两边均在 中,因此

    , 进而

  3. 是关于 的有限维线性空间,且 也是有限维的,则下列诸款等价:

    1. .
    2. .
    3. 的一组基, 的一组基,则 的一组基。

    1,3 两条可推广到无限维线性空间中

例子

考虑 的基。

  1. 如图

    是一组基。

  2. 如图

    是一组基。

  3. 如图

    不是一组基,因为 .

  4. 如图

    不是一组基,因为 .

应用

线性基在 OI 中的应用一般包含以下方面:

  1. 对给定的向量组,找到一组极大线性无关组(或其张成的线性空间的一组基)。
  2. 向给定的向量组插入某些向量,在插入操作后的向量组中找到一组极大线性无关组(或其张成的线性空间的一组基)。
  3. 对找到的一组极大线性无关组(或基),判断某向量能否被其线性表出
  4. 求极大线性无关组(或基)的秩。
  5. 对找到的一组极大线性无关组(或基),求其张成的线性空间中的最大元/最小元。

特别地:

  • 若限定向量均在 下,则称找到的基为 异或线性基
  • 若限定向量均在 下,则称找到的基为 实数线性基

构造方法

因为异或线性基与实数线性基没有本质差别,所以接下来以异或线性基为例,实数线性基版本的代码只需做一点简单修改即可。

贪心法

对原集合的每个数 转为二进制,从高位向低位扫,对于第 位是 的,如果 不存在,那么令 并结束扫描,如果存在,令

查询原集合内任意几个元素 的最大值,只需将线性基从高位向低位扫,若 上当前扫到的 答案变大,就把答案异或上

为什么能行呢?因为从高往低位扫,若当前扫到第 位,意味着可以保证答案的第 位为 ,且后面没有机会改变第 位。

查询原集合内任意几个元素 的最小值,就是线性基集合所有元素中最小的那个。

查询某个数是否能被异或出来,类似于插入,如果最后插入的数 被异或成了 ,则能被异或出来。

高斯消元法

高斯消元法相当于从线性方程组的角度去构造线性基,正确性显然。

性质

贪心法构造的线性基具有如下性质:

  • 线性基没有异或和为 的子集。
  • 线性基中各数二进制最高位不同。

高斯消元法构造出的线性基满足如下性质:

  • 高斯消元后的矩阵是一个行简化阶梯形矩阵。

    该性质包含了贪心法构造的线性基满足的两条性质

    如果不理解这条性质的正确性,可以跳转

    高斯消元

提供一组样例:

5
633 211 169 841 1008

二进制表示:

1001111001
0011010011
0010101001
1101001001
1111110000

贪心法生成的线性基:

1001111001
0100110000
0011010011
0001111010
0000000000
0000010000
0000000000
0000000000
0000000000
0000000000

高斯消元法生成的线性基:

1000000011
0100100000
0010101001
0001101010
0000010000
0000000000
0000000000
0000000000
0000000000
0000000000

这是一条非常好的性质,能帮我们更方便的解决很多问题。比如:给定一些数,选其中一些异或起来,求异或最大值,如果用贪心法构造线性基,需要再做一遍贪心,如果 ans 的当前位是 0,那么异或一定会更优,否则当前位如果为 1,则一定不会更优;而使用高斯消元法构造线性基后直接将线性基中所有元素都异或起来输出即可。

对于其他比较经典的问题(查询一个数能否被异或得到,查询能被异或得到的第 大数等),高斯消元法得到的线性基也能更加方便地解决。

时间复杂度

设向量长度为 , 总数为 , 则时间复杂度为 . 其中高斯消元法的常数略大。

若是实数线性基,则时间复杂度为 .

练习题

参考资料与注释

  1. 丘维声,高等代数(下)。清华大学出版社。
  2. Hamel Basis -- from Wolfram MathWorld

贡献者:@queenwen@Tifa@WenzelTian@Great-designer

本页面最近更新:2/3/2023, 12:00:00 AM更新历史

发现错误?想一起完善? 在 GitHub 上编辑此页!

本页面的全部内容在 CC BY-SA 4.0SATA 协议之条款下提供,附加条款亦可能应用

评论

0 条评论
未登录用户


Copyright © 2016 - 2023 OI Wiki Team

最近更新:fd2ec2c, 2023-02-03

联系方式:Telegram 群组 / QQ 群组