- 博客(8)
- 收藏
- 关注
RSS订阅原创 对函数系的完全性的感悟
今天Fourier级数的时候讲到了函数系的完全性。称一个函数系S={f1,f2,f3...}是完全的，如果对于任意的连续函数g，都能通过∫g·fk=0(k=1,2,3...)推出g是零函数。举一个直观的例子来类比：函数系是一个医疗团，连续函数g是一个患者，每个fk∈S都是一个医生，但是每个医生只会把一条脉。医生把脉的方式是和患者相乘再积分，如果积出来是0，那么医生fk就会大喊：“一眼丁真！鉴定为零函数！”。但...
2022-05-30 16:43:35
187
原创 数学黑洞与数学怪圈
——————————————————20220505————————————————————今日尚有一些关于“平面上保共线变换和线性变换的双向奔赴”内容在mac的解析几何笔记中。刷b站的时候看到了数学黑洞浅浅理解了一下，495大概是一个类似变换的不动点之类的数字，想要定出所有这样的数字，我们需要设每一位来解一个不定方程，Ax+By+z=0之类，而A、B、C之间差了数量级，这就使得方程只有很有限的解。在三位数的情况下不动点是495，四位数时是6174，都是唯一的。要证明三位数...
2022-05-05 21:30:31
210
原创 相似标准型引发的一些思考
今天遇到一道习题：一个实矩阵能正交相似于上三角矩阵的充要条件是它的特征值均为实数。这个命题的模式就是：一类矩阵(特征值均为实数的实矩阵)，与另一类矩阵(上三角矩阵)，可以建立某种关系(正交相似)。换个理解方式，就是特征值均为实数的实矩阵，一定能通过某个正交相似关系得到一个上三角矩阵。这个命题的模式是这样的：对于每个满足条件P的矩阵，在所有与它满足关系Q的矩阵中，是否一定有一个满足条件R的矩阵？把握了这个模式，可以平行的提出很多命题。考虑问题的范围可以从所有C上的矩阵、R上的矩阵，换成所有
2022-04-30 12:13:09
525
原创 结式消元法 与 对可约判别法的思考的进展
明天考高代，今天必要复习！等等，这是什么题目？还能这样搞！经过查阅，这是结式消元法。一些资料记录在此：代数方程组求解 - maTHμ - 计算机代数系统 (mathmu.github.io)高次方程问题 - 知乎 (zhihu.com)我立即想起了之前的关于艾森斯坦判别法的问题：我想建立多项式的平移不变量来直接判别一系列平移等价的多项式的可约性，但并不知道这个不变量该如何建立，索性我们先退而求其次——先建立尽可能多的平移不变量。经过计算可以发现，f(x+t)的系数(bi)
2022-04-28 11:33:10
355
原创 20220426现代数学前沿概览——碎片记
大一下学期，听了一堂现代数学前沿概览——数学中的重整化及其几何应用，碎片化的做一些记录，以待日后参考。
2022-04-26 21:21:51
924
原创 用二次型捞起一道自主招生题目
在复习二次型的时候记忆涌动，依稀记得是2019年暑假在河北师大培训的时候一位在师大毕业的姓于的老师讲的、当年刚刚考过的上海交大的自主招生题。经过关键词搜索，找到题目如下：题目是考高中生的，真的要做肯定也是待定系数搞均值不等式。但是作为学了二次型的大学生(骄傲脸)，我们想起了结论：对于实对称矩阵A和向量a，a^T·A·a/(|a|² )的最大值是A的最大特征值。本题中分母显然是一个向量(x,y,z)模长平方的形式，所以我们去考察分子作为二次型对应的矩阵的特征值，经过计算得...
2022-04-24 22:08:04
189
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人