ID246783的博客

文章摘要 本文介绍了实分析中可测函数与简单函数逼近的基本概念。从集合可测性过渡到函数可测性，定义了可测函数的核心特征：Borel集的逆像保持可测性。重点阐述了通过上水平集检验函数可测性的等价条件，并给出了详细证明过程。文章还比较了Lebesgue积分与Riemann积分的区别，解释了可测函数在积分理论中的重要性。最后将概念推广到一般可测空间之间的映射，并与拓扑学中的连续函数概念进行类比。这些内容为后续Lebesgue积分的定义奠定了理论基础。

摘要： Cantor集是通过不断移除区间中间三分之一构造的经典集合，具有反直觉性质： 构造：逐步移除[0,1]区间中所有形如“中间三分之一”的开区间，剩余的交集即Cantor集。 性质： 闭集且紧致：作为闭集的无限交，且包含于[0,1]。 零测度：每一步剩余部分测度趋于0（$(2/3)^n \to 0$）。 不可数性：通过三进制展开（仅含0和2）与二进制对应，建立到[0,1]的单射，证明其基数与连续统相同。 反直觉结论：Cantor集展示了“长度为零但点数不可数”的现象，区分了测度与基数意义上的“大小”。

本文摘要： 本文介绍了实分析中构造$\mathbb R$上Borel测度和Lebesgue-Stieltjes测度的方法。主要内容包括： 使用左开右闭区间定义半开区间代数$\mathcal A$，它生成的$\sigma$-代数恰好是Borel $\sigma$-代数$\mathcal B_{\mathbb R}$。 通过递增右连续函数$F$定义预测度$\mu_0$，其中$\mu_0((a,b])=F(b)-F(a)$。这种构造推广了传统长度概念，例如取$F(x)=x$时得到普通Lebesgue测度。 证明了

本文从实分析中的测度理论出发，探讨了σ-代数的必要性及其构造方法。首先通过维塔利集的例子说明，若要在实数集上定义满足平移不变性、可数可加性且μ([0,1))=1的测度，则不能将2^ℝ作为定义域。为此引入σ-代数的概念——对可数并、补集封闭的集合族，并证明这是保证测度可数可加性的最小要求。进一步阐述了如何从基本可测集（如开集）生成最小σ-代数（如Borel σ-代数），从而构建合理的测度定义域。这种构造既保留了关键性质，又规避了不可测集的矛盾。

在第 0 章里，我们终于从自然数一路构造到了实数，并且证明了实数最核心的完整性：最小上界性质。。比如区间01的长度应该是1，矩形的面积应该是长乘宽，球的体积应该符合我们几何课里熟悉的公式。可是如果给你一个非常奇怪的集合，比如你可能听过的 Cantor 集（在后面的blog里会详细说到，现在看个名字就行qwq），甚至更糟糕一点的不可测集合，我们还能不能给它一个“长度”呢？测度理论就是为了回答这个问题而出现的。它想做的事情很简单：把“长度、面积、体积”这些概念推广成一个统一的东西，叫做。

本文介绍了实分析中的最小上确界定理及其证明过程。首先定义了上界和最小上界的概念，并通过例子说明其性质。随后详细证明了最小上界存在定理，分为三个部分：1) 构造性证明存在特定上界；2) 证明相关序列为柯西列并收敛于同一极限；3) 验证该极限即为最小上界。最后应用该定理证明了√2的存在性，通过构造集合E={y∈R|y>0且y²<2}并证明其最小上界满足x²=2，展示了实数系的完备性。全文以严谨的数学推导展示了实数与有理数的关键区别。

本文从有理数的局限性出发，探讨了实数概念的引入。通过证明√2不是有理数，揭示了有理数系存在"缝隙"。为了描述这些缝隙，文章首先定义了绝对值（|x|）和距离（d(x,y)=|x-y|），并验证了其基本性质，包括重要的三角不等式。基于距离概念，提出了ε-接近的定义，为后续极限理论奠定基础。文章还证明了一个关键结论：尽管√2不是有理数，但可以用有理数列无限逼近它（如1.4,1.41,...），这暗示了需要更完备的数系——实数系来填补有理数的"缝隙"。这些内容为实分析的学习建

本文系统介绍了有理数的构造与性质。首先通过定义形如a/b的表达式（b≠0）引入有理数，并规定相等条件ad=bc。随后定义了有理数的加法、乘法和负号运算，并验证了这些运算的良定性。文章指出有理数不仅满足交换环的所有代数性质，还因为每个非零元素都有倒数而构成域。在此基础上定义了除法运算，即乘以倒数。最后讨论了有理数的顺序关系，定义了正负有理数及大小比较，证明其满足三歧性、传递性等基本性质。通过这一系列构造，有理数系实现了四则运算封闭性和顺序关系的完备性。

本文从自然数减法运算不封闭的问题出发，系统介绍了整数的构造过程。通过定义形如a-b的表达式作为整数，并规定其相等条件(a+d=b+c)，巧妙避免了循环论证。文章详细阐述了整数加法和乘法的良定义性证明，说明了自然数可嵌入整数集(n≡n-0)。在引入相反数定义后，建立了整数的三岐性定理，证明了整数构成交换环的代数性质。最后正式定义了减法运算(x-y:=x+(-y))，并讨论了整数的大小关系，展示了整数作为完备数系的优越性。全文严谨地构建了整数理论体系，为后续数学分析奠定基础。

摘要： 本文从皮亚诺公理出发，系统地介绍了自然数的构造过程。通过五条公理（后继运算、后继唯一性、0的存在性、0非后继、数学归纳法）定义了自然数集合。随后基于递归定义构造了加法运算，并详细证明了1+1=2等基本运算。最后运用数学归纳法证明了加法交换律，通过建立关键引理（0+m=m+0和m+(n++)=(m+n)++）完成了严格证明。全文展现了如何从最基础的公理出发，逐步构建自然数及其运算体系的过程。

∀xx0x∀xx0x∀xyxSySxy∀xyxSySxy∀xx⋅00∀xx⋅00∀xyx⋅Syx⋅yx∀xyx⋅Syx⋅yx上面这些定义都非常显而易见，很显然这些定义满足我们对自然数的认知。证明过程非常简单：首先我们把式子列出来111 + 111然后我们知道S01S(0) = 1S01111S0111S0又因为∀xyxSySxy。

∣a⋅b∣≤∣a∣∣b∣其中aabbcdacbd≤a2b2​c2d2​acbd2≤a2b2c2d2。

  相信大家都会辗转相除吧 qwq。  首先有一个引理：gcd⁡(a,b)=gcd⁡(a−b,b)\gcd(a, b) = \gcd(a - b, b)gcd(a,b)=gcd(a−b,b)  证明： 令 a=k1gcd⁡(a,b),b=k2gcd⁡(a,b)a = k_1\gcd(a, b), b = k_2\gcd(a, b)a=k1​gcd(a,b),b=k2​gcd(a,b) 显然有 gcd⁡(k1,k2)=1\gcd(k_1, k_2) = 1gcd(k1​,k2​)=1。然后 gcd⁡(a−b,

在所有方程中取两个出来合并（如果不能合并输出无解）只剩下一个方程直接解这唯一的一个方程得到答案完结撒花！！！

简单来说无限维的空间就可以理解成一个希尔伯特空间。操作就变成了对于很多的无限维向量，在每一个维度上取一个最大值，得到的新的数就是这些。然后我们发现好像式子已经化到最简了，但是我们算一下复杂度就会发现我们愉快的。了，就是尝试确定每一个质数的指数，同时记录一个约数个数就好了。这个东西是写在指数上的，所以根据扩展欧拉定理，运算的时候是对。对他质因数分解，然后希尔伯特空间中的维度就代表质因子的次数。，那么我们就得到了一个因数个数与原数相同的且值比原数小的数。就能被看成希尔伯特空间中的一个向量。...........

  热身题qwq  传送门：树上最远点对  tagtagtag：树上最远点对的结论？？？  对于一个点集，其中的最远点对是 (x1,y1)(x_1, y_1)(x1​,y1​)，另一个点集，最远点对是 (x2,x2)(x_2, x_2)(x2​,x2​)，那么这两个点集合并后最远点对必定在 (x1,y1)(x_1, y_1)(x1​,y1​) ，(x1,y2)(x_1, y_2)(x1​,y2​)，(x2,y1)(x_2, y_1)(x2​,y1​)，(x2,y2)(x_2, y_2)(x2​,y2​)，(

不定方程解的数量

二次剩余  传送门：P5491 模板 二次剩余题目大意  二次剩余俗称模意义开根，给出 nnn 和 ppp 解方程：x2≡n(modp) x^2 \equiv n \pmod p x2≡n(modp)  我们保证 ppp 是一个奇素数定义  其实二次剩余的意思就是一个数 nnn，我们将 111 到 nnn 的所有数都平方一下变成：1,4,9,16,⋯ ,n21, 4, 9, 16, \cdots, n^21,4,9,16,⋯,n2  然后将这些数都模一个 ppp，这样就剩下了一些数，这些

阶和原根阶定义  m>1,m∈Z,gcd(a,m)=1,∃r∈[1,m−1]m > 1, m \in Z, gcd(a, m) = 1, \exist r \in[1, m - 1]m>1,m∈Z,gcd(a,m)=1,∃r∈[1,m−1] 使得 ar≡1(modm)a^{r} \equiv 1 \pmod mar≡1(modm)，满足条件的 rrr 中最小的一个就是 aaa 模 mmm 的阶一些性质  因为 gcd(a,m)=1gcd(a, m) = 1gcd(a,m)=1 所

n=φ∗I=∑d∣nφ(d)=φ(n)+∑d∣n∧d<nφ(d)φ(n)=n−∑d∣n∧d<nφ(d)∑i=1nφ(i)=∑i=1n(i−∑d∣i∧d<iφ(d))=∑i=1ni−∑i=1n∑d∣i∧d<iφ(d)=12n(n−1)−∑\begin{aligned}n = \varphi * I & = \sum_{d | n}\varphi(d) = \varphi(n) + \sum_{d | n \land d < n}\varphi(d) \\\varp

我的 NOIP 数学 刷题记录

Lucas 定理结论  结论很简单，就是一个简单的式子（ppp 是质数）：Cnm≡Cnmod  pmmod  p×Cnpmp(modp) C_n^m \equiv C_{n \mod p}^{m \mod p} \times C_{\frac{n}{p}}^{\frac{m}{p}} \pmod p Cnm​≡Cnmodpmmodp​×Cpn​pm​​(modp)  根据这个式子，我们就能快速计算 ppp 较小的组合数了。  具体来说，现预处理出一个数组 frac[i]frac[i]frac[i]

手撕根号  我们先来举个例子，算一算 87\sqrt{87}87​。首先我们知道 81=9281 = 9^281=92，然后 87−81=687 - 81 = 687−81=6，然后用 9+69×2=9139 + \frac{6}{9 \times 2} = 9\frac 139+9×26​=931​，这个数约等于 9.39.39.3。所以 87\sqrt{87}87​ 也就约等于 9.39.39.3 了。我们用计算器计算一下看我们算的准不准：  我们可以看到，这玩意儿还是比较准的。而且这个数也不是特

拉格朗日插值  插值就是有 nnn 个已知的平面直角坐标系中的点，然后求出一个 n−1n-1n−1 次多项式，这个多项式穿过这些点。{x}:x0,x1,x2,⋯ ,xn{y}:y0,y1,y2,⋯ ,yn \{ x \} : x_0, x_1, x_2, \cdots, x_n \\ \{ y \} : y_0, y_1, y_2, \cdots, y_n {x}:x0​,x1​,x2​,⋯,xn​{y}:y0​,y1​,y2​,⋯,yn​  然后我们要找到一个 f(x)f(x)f(x) 穿过这些

关于勾股数组勾股定理  首先是勾股定理：a2+b2=c2 a^2 + b^2 = c^2 a2+b2=c2勾股数组的定义  然后是勾股数组：一个正整数三元组：(a,b,c)(a, b, c)(a,b,c)，满足 a2+b2=c2a^2 + b^2 = c^2a2+b2=c2，那么这个三元组就是一个勾股数组 （是有够简单的了）。非常简单，是不是？但是如果你想 装逼 让别人觉得你很厉害的话，那么你可以把这玩意儿叫做 “毕达哥拉斯三元组” （逼格瞬间就上来了有没有 qwq）。  我们来举几个例子：

生成函数定义  一般来说，对于有限数列a0,a1,a2,⋯an a_0, a_1, a_2, \cdots a_n a0​,a1​,a2​,⋯an​  多项式f(x)=∑k=0nakxk=a0+a1x+a2x2+⋯+anxn f(x) = \sum_{k = 0}^{n}a_kx^k = a_0 + a_1 x + a_2 x ^ 2 + \cdots + a_nx^n f(x)=k=0∑n​ak​xk=a0​+a1​x+a2​x2+⋯+an​xn  称为数列 {an}\lbrace a_n \

FFT  FFT 也就是快速傅里叶变换，这玩意儿应该很多人都听过，这个就是利用卷积来快速解决多项式乘积问题的一个算法。时间复杂度是 O(nlog⁡n)O(n \log n)O(nlogn)简要的说明  很显然，如果直接暴力地计算两个多项式的乘积的话，那么时间复杂度肯定是 O(n2)O(n^2)O(n2) 的，如果不知道为什么的话，看完下面这个例子肯定也就说知道了：(3x3+7x2+x+2)(6x3+3x+1)=6x3(3x3+7x2+x+2)+3x(3x3+7x2+x+2)+(3x3+7x2+x+2

传送门：数论函数学习笔记埃氏筛  埃氏筛的思想很简单，就是从前往后，遇到一个质数就把所有后面小于 n 的这个质数的倍数全都标记为合数。后面遇到他们就直接跳过。一、筛质数  按照上面的思想直接模拟就好了，时间复杂度 O(nlog⁡log⁡n)O(n \log \log n)O(nloglogn)：#include<bits/stdc++.h>using namespace std;#define MAXN 100100int v[MAXN] = { 0 };

整除分块  大概要是长成这样的就能用到整除分块：∑i=1n⌊ni⌋ \sum_{i=1}^n \left\lfloor \frac ni \right\rfloor i=1∑n​⌊in​⌋  计算这个东西用 O(n)O(n)O(n) 的复杂度是显然能解决的，但是在某些考大家思维 毒瘤 的题目里面，就会把你这种做法给卡掉。这时候我们就可以用整除分块来把这个东西的复杂度降到 O()nO()\sqrt{n}O()n​。  我们可以通过打表 证明 发现许多的 ⌊ni⌋\left\lfloor \frac n

数论函数  定义在整数域上的实值或复值函数叫做数论函数积性函数  一个数论函数如果满足 gcd(p,q)=1gcd(p, q) = 1gcd(p,q)=1（也就是 p, q 互质）的时候有 f(pq)=f(p)f(q)f(pq) = f(p)f(q)f(pq)=f(p)f(q)，那么这个函数叫做积性函数。  几个是积性函数的例子：I(n)=1不变的函数id(n)=n单位函数Ik(n)=nk幂函数ε(n)=[n=1]={1(n=1)0otherwise原函数\begin{aligned}&amp

高斯消元  前置芝士：关于线性代数的基本知识  高斯消元是在数学中一种用去求解线性方程组的方法，并且这个算法还能用来求出矩阵的秩和矩阵的逆矩阵。在说高斯消元之前，我们先要说一下什么是矩阵的初等行变换。初等行变换  首先，我们知道 M 个 N 元一次方程组能够成一个线性方程组，而这些方程组的系数能够写成一个 M 行 N 列的 “系数矩阵”，这个系数矩阵再加上每个方程等号右侧的常数，可以写成一个 M 行 N + 1 列的 “增广矩阵”，举个例子：{x1+2x2+x3=72x1−x2+3x3=73x1+

微分定义  设函数 y=f(x)y = f(x)y=f(x) 在 x 的领域内有定义， 如果函数的增量 Δy=y(x+Δx)−f(x)\Delta y = y(x + \Delta x) - f(x)Δy=y(x+Δx)−f(x) 可以表示为：Δy=AΔx+ο(Δx) \Delta y = A \Delta x + \omicron(\Delta x) Δy=AΔx+ο(Δx)  那么称函数 f(x)f(x)f(x) 在 xxx 处可微。且 AΔxA\Delta xAΔx 称为函数在点 xxx 相

一些公式概率P(A∪B)=P(A)+P(B)−P(A∩B)P(B−A)=P(B)−P(A)(P(A)≤P(B))P(B−A)=P(B)−P(A∩B)(∀A,B)P(A∣B)=P(A∩B)P(B)P(AB)=P(A)×P(B∣A)=P(B)×P(A∣B)(A,B有关联)\begin{aligned}& P(A\cup B) = P(A) + P(B) - P(A \cap B) \\& P(B-A) = P(B) - P(A) \qquad (P(A) \leq P(B)) \\&

关于圆周率圆周率为什么是一个定值  我们都知道，圆周率是一个圆的周长与直径的比值，我们在这里介绍一种利用数列极限来证明圆周率收敛于 π\piπ。  设单位圆内接正 nnn 边形的周长为 LnL_nLn​ ，则 Ln=nsin180∘nL_n = nsin\frac{180^\circ}{n}Ln​=nsinn180∘​。数列 LnL_nLn​ 应该收敛与单位元的半周长，及圆周率 π\piπ 。现在我们来严格证明这一点。  证明：令 t=180∘n(n+1)t = \frac{180^\circ}{n

（1）lim⁡n→∞(1+12+13+⋯+1n)1n≤lim⁡n→∞n1n=1\lim_{n\to \infty}(1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n})^{\frac{1}{n}} \leq \lim_{n\to \infty}n^{\frac{1}{n}} = 1 n→∞lim​(1+21​+31​+⋯+n1​)n1​≤n→∞lim​nn1​=1lim⁡n→∞(1+12+13+⋯+1n)1n≥lim⁡n→∞11n=1 \li...

二进制翻转一道题  今天在看关于数位 DP 的东西的时候看到这这道题：luogu P2235 Kathy 函数。在这道题里面给出了一个神秘的函数（就是 Kathy 函数啦），它长这样：{f(1)=1f(3)=3f(2n)=f(n)f(4n+1)=2f(2n+1)−f(n)f(4n+3)=3f(2n+1)−2f(n) \begin{cases} \begin{aligned} &f(1) = 1 \\ &f(3) = 3\\ &f(2n) = f(n)\\

线性代数  关于这部分内容，作者也就是我是本着了解竞赛相关知识而学习的。所以文章中的理解大部分是我个人的，如有错误请大家指出。（本文为学习笔记，会不定时更新一些内容）向量  众所周知 n 维向量是一个长这样的东西：[abc⋮n] \begin{bmatrix} a \\ b \\ c \\ \vdots \\ n \end{bmatrix} ⎣⎢⎢⎢⎢⎢⎡​abc⋮n​⎦⎥⎥⎥⎥⎥⎤​  而且它遵循着两种最基本的运算规则，两个向量的和和向量与标量的乘法：[a1b1c1⋮n1]+[a2b2c2⋮n

错排数问题有 n 个箱子，颜色分别为 1⋯n1\cdots n1⋯n 还有 n 个球，颜色也分别为 1⋯n1\cdots n1⋯n。现在要将每一个球分别放入一个箱子里，并且一个箱子里只能放一个球。试求有多少种方案满足：每个箱子，和它里面球的颜色，都不一样。（如下图，虚线表示一个球不能放进箱子里）递推式  我们假设 n 个球和 n 个箱子的错排数为 DnD_nDn​。我们很容易算出来， D1=0，D2=1，D3=2D_1 = 0，D_2 = 1，D_3 = 2D1​=0，D2​=1，D3​=2

（作者是个没有系统学习过高等数学的高中OIer，推导过程可能不严谨，有问题的地方望大家纠正一下qwq）  傅里叶变换公式：f(t)=A0+∑n=1∞[ancos(nωt)+bnsin(nωt)]，{A0=12π∫−ππf(t)dtan=12π∫−ππcos(nωt)f(t)dtbn=12π∫−ππsin(nωt)f(t)dtf(t) = A_0 + \sum_{n=1}^{\infty}\Big[ a_ncos(n\omega t) + b_nsin(n\omega t) \Big] ，\begi

关于一个公式（本文的大多数推导过程是作者自己 YY 出来的，不能保证严谨性）  就是在写关于莫比乌斯反演的东西的时候，我就想着自己证明一遍莫比乌斯函数的性质（当时还没学，在边学边写），然后我就开始了疯狂的分类讨论，大概的流程是这样的：  证明：  首先我要证明 ∑d∣nμ(d)=[n=1]\sum_{d \mid n} \mu(d) = [n = 1]∑d∣n​μ(d)=[n=1] 然后我就想， n=1n = 1n=1 的时候这个式子显然成立，然后我就讨论 n≠1n \neq 1n​=1 的时候