Sticky Posts
计算机笔记目录
计算机专业相关内容学习 # FreeCodeCamp 在线学习笔记 响应式网页设计 HTML 基础 HTML 基础复习 语义化 HTML # 计算数学 Information Mathematics 参考书籍 榎本 彦衛:情報数学入門,新曜社,1987 Rudolf Lidl, Gunter Pilz: Applied Abstract Algebra, Springer, 1998 # 数值计算 Numerical Algorithms 参考书籍 久保田 光一:工学基礎 数値解析とその応用,数理工学社,2010 E. クライツィグ (田村 義保 訳): 数値解析...
more...Post List
【线性代数】线性映射
本章节学习一类特殊的映射:线性映射 由于线性代数这门学科主要分析线性空间下的性质,所以可以非常良好地讨论线性映射 # 线性映射 定义 令 V,WV, WV,W 分别为域 KKK 上的线性空间 若映射 f:V→Wf: V \to Wf:V→W 满足 ∀u,v∈V,f(u+v)=f(u)+f(v){}^\forall \boldsymbol u, \boldsymbol v \in V, \quad f(\boldsymbol u + \boldsymbol v) = f(\boldsymbol u) +...
more...【抽象代数】多项式环上的可约性
本节详细分析多项式环的结构性质 以下默认 RRR 为整环 # 多项式除法 现在让我们考虑多项式环上是否可以定义除法 如素元分解章节所说,整环的带余除法需要 Euclidean 整环的性质支持 虽然系数环 RRR 是整环可以保证多项式环 R[x]R[x]R[x] 也是整环 但是 Euclidean 整环的性质并不能直接传递到多项式环上,还需要对系数有更强的要求:域 此时次数函数 deg\degdeg 可以作为 Euclidean 函数 命题 令 RRR 为域,f,g∈R[x]f,g \in R[x]f,g∈R[x], g≠0g \neq 0g=0 则存在唯一的...
more...【点集拓扑】分离公理
分离公理 (Axioms of Separation)「分離公理」 是点集拓扑研究的核心内容 其本质是衡量拓扑空间中分离性的一套准则,由五个层级递进的公理组成 # 分离公理 定义 分离公理 令 (X,O)(X,\mathcal O)(X,O) 为拓扑空间 T0T_0T0 第零分离公理:Kolmogorov 公理 ∀x,y∈X, x≠y,∃O∈O,s.t.x∈O, y∉O或y∈O, x∉O{}^\forall x, y \in X,\ x \neq y, {}^\exists O \in \mathcal...
more...【线性代数】Jordan 化
回顾至今为止的学习,我们已经知道: 并非所有的方阵都可以对角化 但是,任意方阵都可以上三角化 对角化本身具有非常好的唯一性:在给定变换矩阵 PPP 的情况下,对角化的结果是唯一的。 但是上三角化的结果并非如此,我们期望找到一个标准的上三角化结果,这个过程就被称为 Jordan 化 基本性质 现在给定方阵 AAA,其特征多项式为 FA(λ)=(λ−λ1)n1(λ−λ2)n2⋯(λ−λk)nkF_A(\lambda) = (\lambda - \lambda_1)^{n_1} (\lambda - \lambda_2)^{n_2}...
more...【抽象代数】整环上的素元分解
核心内容: ED ⟹ PID ⟹ UFD ⟹ ICD\text{ED} \implies \text{PID} \implies \text{UFD} \implies \text{ICD} ED⟹PID⟹UFD⟹ICD ED:Euclidean 整环,能够做带余除法 PID:主理想整环,理想只需一个生成元 UFD:唯一分解整环,元素分解唯一,算术基本定理成立 ICD:整闭环,包含其分式域中的所有代数整数,所有的根都在环内,没有...
more...






