Algebraic Topology Note
Algebraic Topology Note 看的是 https://dec41.user.srcf.net/notes/. 记号 : . 所有的映射不声明默认是连续的. Homotopy <div class='dbox' 同伦 有两个映射 ,若存在 ,满足 ,则 , 是 的同伦.我会写 ,这样能给下面那个相对集合的同伦的集合腾地方. </div 可以...
_posts/math
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 (Class Note 3)
Math Analysis (Class Note 3) 20260302 讲了一些函数项级数和一致收敛 <div class='cbox' 证明 上 一致收敛. </div <div class='pbox' 极限是 法1:Dini引理,单调性+连续秒了. 法2: 老师写的是你先求导,发现: $ 0=((1+\dfrac xn)^n e^x)'=(1+\...
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)...
I am a pig
I am a pig <div class='cbox' $ f(n)=r n,f'(n)=r {n+1} r {n}= a n f n 0 a n r n f(n)=a n,f'(n)=a {n+1} a n,f''(n)=f'(n+1) f'(n) f f f \int \dfrac{f'}{f}=\ln f x n=\ln(r {n+1}) \ln(...
Real And Complex Analysis
Real And Complex Analysis Chapter 1 Abstract Integral Basic Definitions 需要注意的是 意思是 , <div class='dbox' 上的一个拓扑就是 的幂集族的子集( 的子集族) 满足 中元素的任意有限交和无限并仍属于 定义了 的 是拓扑空间, 中元素为开集 </div <div c...
Math Analysis (Class Note) 2
Math Analysis (Class Note) 2 Class 24 定积分的应用 <div class='cbox' 参数方程的面积 围成的面积 满足 $ C^1 \sqrt{(x a)(b x)} \dfrac{dx}{y}=d\theta 2\pi \dfrac{\vert \sin x \vert }{x} X x X \implies \d...
Tell Semicontinuous
我们生活在虚拟世界的证据:你看到了一个概念,然后他就会天天冒出来,而以前它并不会天天冒出来. Def 上半连续说的是向上增长的时候是连续的,函数值不能突然上升但可以突然下降. 于是一个定义是 处上半连续定义为 ,存在 的邻域 使得 . 而同样我们可以理解 的原像是开集, 的原像是闭集.意思是你在一个小于 的地方,你往旁边走一点点还是小于 的(开),你在一个...
Cayley Hamilton
Cayley Hamilton 好了大家都知道内容说的是矩阵 特征多项式 有 如果 或者说,如果 满足 的多项式方程的根也属于 ,即我们可以搞特征值那一套. 证明方法会很多. 比如舒尔定理+因式分解,则 ,你可以排列这些因式使得 且 ,于是乘起来显然对任意向量是 . 比如直接考虑广义本征空间 上 是幂零的. 如果任意域 然后大家都知道你不能直接声称 带进去...
A Fun Problem about Function Limits
A Fun Problem about Function Limits <div class='cbox' $ \epsilon x n \lim {n \to \infty} x n=+\infty f(x n) \epsilon \delta n,\forall x\in (x i \delta i,x i+\delta i) \vert f(x) f...
Right Continuous Function
Can you find a function such that right continuous at every point but not left continuous on a point $ q 1,q 2\ldots 2^{ i} x \epsilon \forall \delta,\exists y\in [x \delta,x],\ve...
Linear Algebra Done Right
Linear Algebra Done Right 记录大致讲了什么 Book Edition 3 向量空间 我们定义向量空间 <div class='dbox' 向量空间 向量空间定义在域 上,要求支持: 加法 中数的数乘 加法单位元(0元) 加法逆元 加法交换结合 数乘结合 加法对数乘分配 对加法和数乘封闭 </div 加粗部分用于判断子空间,根据 区...
Linear Algebra
Linear algebra A fun question <div class='cbox' In n D space we can found at most vector such that: </div <div class='pbox' An example in 3 D space(the one on the book) The constr...
Math Analysis(Class Note)
Math analysis Class 1 Some Inequality and Def of limit Triangle Inequality <div class='cbox' $ x i=\dfrac{1}{x i} 2 2 n X=\sqrt[n]{\prod i x i} N=N(\epsilon) N \epsilon (0,a),a 0...