Graph Theory
Graph Theory 强基研讨课的某节课 <div class='cbox' 平面图三角剖分图 最小度为 ,则存在一条边 满足 或 . </div <div class='pbox' 反证法,假设不存在. 给每个点赋予电量 ,给每个面赋予电量 ,( 表示这个面的边界由几条边构成). 于是点上的总电量之和为 $ 5 c'(u) d(u)=5 \Right...
math/sem2
How to divide a sandwich
How To Divide a Sandwich Notations In this article, we only consider continuous maps. So when we write "map", we mean "continuous map". And the coefficient field of all and is . P...
Algebraic Topology Note
Algebraic Topology Note 看的是 https://dec41.user.srcf.net/notes/. 记号 : . 所有的映射不声明默认是连续的. Homotopy <div class='dbox' 同伦 有两个映射 ,若存在 ,满足 ,则 , 是 的同伦.我会写 ,这样能给下面那个相对集合的同伦的集合腾地方. </div 可以...
Divergence Theorem in Physics
Divergence Theorem in Physics 很早就知道数学中这个散度定理和物理电磁/引力的高斯公式应该是一回事的,所以考虑一下是怎么回事. 高斯公式的引力形式 <div class='cbox' 高斯公式的引力形式: $ V f:R^3\to R^3 Mf M Mf(\vec r)=\dfrac{GM}{|r|^3}\vec r f x(r...
Your Classmates' Chaos Power
Your Classmates' Chaos Power Period 3 Means Period K 首先是一些准备工作: <div class='dbox' $ I=[a,b] f(x) x f(x) f(x) I 1=[f(a),f(b)] c c=\sup \{x|f(x)=f(a)\} f(c)=f(a) d=\inf \{x|f(x)=f(b...
Bigger Dual Vector Space
Bigger Dual Vector Space 好我们都知道对偶空间是什么了,由于有限维向量空间一定同构于自己的对偶空间,且同构于 后还可以定义内积后用Reisz表示定理,所以此时这个对偶空间看起来很废物. 但是无限维的时候对偶空间是有意义的,实际上我们发现无限维向量空间行对偶空间和原空间一定不相等,事实上,一定比原空间大. 这里的大是维数上的,但因为无...
Maybe Higher Linear Algebra
Maybe Higher Linear Algebra 20260304 <div class='cbox' 如果 中的 线性相关,则存在 空间中的 使得 的线性映射不存在 </div <div class='pbox' 不妨设 . 只要让 全是 , 就完事了. </div 20260309 <div class='cbox' 任意线性空集 有一组Hame...
Discrete Math Note
Discrete Math Note Mysteries 空图指的是荒漠 不是图 单点不是路径(path) "邻接矩阵不能表示重边" 当说一条路径的时候,简单=边不同,初级=边不同+点不同(???)由于这条过于神秘,所以后面写笔记的时候常常不管这件事(当我说简单的时候指的边也不同). I'm pig 平均编码长度是按频率加权的. 20260306 <div...
Topo Basic Note
Topo Basic Note 基本概念 拓扑与拓扑基与邻域 拓扑就是在一个集合上定义哪些是开集,同时满足对有限交,无限并的封闭性. 于是闭集公里说的是你也可以定义哪些是闭集满足对有限并和无限交的封闭性 邻域有的定义为包含一个点的开集,有的定义为包含一个点的开集的超集,就是是否允许非开集邻域. <div class='cbox' 开集等价条件 一个集合是开...
Math Analysis Huashi Xia
Math Analysis Huashi Xia 只挑了几点 函数项级数 不能乱交换 <div class='cbox' 构造:求极限不保证连续性 </div <div class='pbox' </div <div class='cbox' 求导和求极限不交换 </div <div class='pbox' 第一种是我们直接让导函数发散: $ d(x)...