子群 Lagrange定理 定义1(子群) 设 GGG 为群,H⊂GH\subset GH⊂G,如果 HHH 关于 GGG 的运算也成为一个群,则称 HHH 为 GGG 的一个子群,记 H<GH < GH<G。 命题2(子群判定方法) 设 GGG 为群,H⊂GH\subset GH⊂G,则 H<G ⟺ ∀a,b∈H, ab−1∈H\begin{aligned} H < G\iff \fo 2021-10-25 Math > 近世代数 #群论
近世代数 习题&思考 群在集合上的作用,轨道-稳定子定理 需要掌握的: 求群 GGG 的中心, 自同构群,共轭类。 求中心 根据中心的定义求解: Z(G)= {x∈G:∀y∈G,xy=yx}(与所有元素都可交换)= {x∈G:∀y∈G,xyx−1=y} ⟺ 在共轭作用下G的不动点集G0。\begin{aligned} Z(G) =&\ \{x\in G: \forall y\in G, xy = y 2021-11-15 Math > 近世代数 #错题
数值分析中一些算法的MATLAB代码 这里记录一些在数值分析课程、作业中所用到的算法,可用于检查自己作业是否计算正确 (代码应该没锅`(>﹏<)′ 前三个算法的具体使用方法可以参考 三次样条插值法&牛顿插值法&切比雪夫插值法 MATLAB实现 Newton 插值法 & Chebyshev 多项式零点作为插值点 利用Chebyshev\text{Chebyshev}Chebyshev插值多项式,求最 2022-03-31 Math > 数值分析 #插值多项式
三次样条插值法&牛顿插值法&切比雪夫插值法 MATLAB实现 数值分析 - 观察龙格现象 这次数值分析的大作业要求是“观察龙格现象”,利用Newton迭代法和三次样条插值法做对比,体现出高次插值多项式在距离较远的地方会有明显的“震荡”,而分段低次插值就不会有这种问题,由于本次作业是用Latex写的不想再写一次Markdown网页版了(懒~ 所以就直接给出这次算法的pdf版,里面对计算过程转化有非常详细解释,完整的MATLAB代码在附录中也有给出,这里再贴一遍😄(我的MATLAB脚本习 2022-03-19 Math > 数值分析 #插值法
一阶微分方程解法总结 因为一阶微分方程的类型颇多,解法也多种多样,故在国庆间,将前三周所讲内容做一点总结,以便复习时参考,下面都只给出结论,并没有给出推导过程。 线性方程 dydx+P(x)y=Q(x)\frac{dy}{dx} + P(x)y=Q(x) dxdy+P(x)y=Q(x) 解法: 令 y=u(x)exp(−∫P(x) dx)y=u(x)\exp(-\int P(x)\,dx)y=u(x)exp(− 2021-10-05 Math > 常微分方程
偏微分方程 - 基础知识 变分问题 极小曲面问题 基础知识 定义1(函数范数) 设标量函数 u:Rn⊃Ω→Ru: \mathbb{R}^n\supset \Omega\to \mathbb{R}u:Rn⊃Ω→R,C(Ω)C(\Omega)C(Ω) 表示在 Ω\OmegaΩ 上的连续标量函数构成的线性空间,对于 u∈C(Ω)u\in C(\Omega)u∈C(Ω),定义 ∣∣u∣∣C(Ω=supx∈Ω∣u(x)∣,(值域的上确界)||u||_ 2022-09-11 Math > 偏微分方程
Fourier 级数入门 第十一周考了期中,感觉裂开(我tcl;任何周期为 2π2\pi2π 的函数都可以表示为傅里叶级数(一种三角级数),然后就可以将难以积分、求导的函数变化为易于积分的三角级数。 定义1(三角级数) 设 ak∈R, k=0,1,⋯ , bk∈R, k=1,2,⋯a_k\in \mathbb R,\ k=0,1,\cdots,\ b_k\in\mathbb R,\ k=1,2,\cdotsak∈R, 2021-11-26 Math > 数学分析 #Fourier
多元函数的 Riemann积分 Darboux积分 Lebesgue外侧度 数学分析第一周,讲了多元函数关于 RiemannRiemannRiemann 积分的定义和 DarbouxDarbouxDarboux 积分的等价证明,定义了 LebesgueLebesgueLebesgue 外侧度及其一些性质。 多元函数的 RiemannRiemannRiemann 积分的定义,总体思路和一元函数的定义类似,通过定义多元空间中的一个分划,然后定义出 RiemannRiemann 2021-09-17 Math > 数学分析 #积分 #测度
Riemann - Lebesgue 定理 命题1(分段常数逼近) 设 f∈L1([a,b])f\in L^1([a,b])f∈L1([a,b]),则 ∀ε>0, ∃g:[a,b]→R\forall \varepsilon > 0,\ \exists g : [a, b]\rightarrow \mathbb R∀ε>0, ∃g:[a,b]→R,ggg 为分段常数,使 ∫ab∣f−g∣<ε\int_a^b|f-g| 2021-12-02 Math > 数学分析 #Fourier
Lipschitz 判别法 定义1(Lipschitz 条件) 设 f:(a,b)→Rf:(a, b)\rightarrow \mathbb Rf:(a,b)→R,x0∈(a,b)x_0\in (a, b)x0∈(a,b),若 f(x0+), f(x0−)f(x_0^+),\ f(x_0^-)f(x0+), f(x0−) 存在。 ∃ 0<δ<min{b−x0,x0−a}\exists\ 0 &l 2021-12-08 Math > 数学分析 #积分