数学
文章平均质量分 86
学数学
Nightmare004
一个小菜鸡
展开
-
实数系和复数系-习题
出去有明确的相反的说明以外,本习题中所提到的数,都理解为实数1.如果r(r≠0)r\left( r\neq 0 \right)r(r=0)是有理数而xxx是无理数,证明r+xr + xr+x及rxrxrx是无理数证明:假设r+xr + xr+x是有理数,则x=r+x−rx = r + x - rx=r+x−r是有理数,矛盾假设rxrxrx是有理数,则x=rx/rx = rx / rx=rx/r是有理数,矛盾2.证明不存在平方为12的有理数证明:假设p,q∈Q,gcd(p,q)=1,(pq)2=1原创 2024-06-20 02:44:12 · 507 阅读 · 0 评论 -
数列与极限(下)
定义 3.38 设有复数序列{cn}\left\{ c_{n} \right\}{cn},级数∑n=0∞cnzn\sum_{n=0}^{\infty} c_{n} z^nn=0∑∞cnzn叫做幂级数(power series)。cnc_{n}cn叫做这级数的系数(coefficients);zzz是复数 一般地说,这个级数收敛或发散在于数zzz的选取,准确地说,联系着每个幂级数有一个圆,叫做收敛圆,如果zzz在这圆以内,就收敛,如果zzz在这圆外,就发散。(为了能概括所有的清醒,原创 2024-05-03 19:37:51 · 603 阅读 · 0 评论 -
数列与级数(中)
如果没有相反的声明,所考虑的一切序列和级数都是复数值的定义 3.21 设有序列{an}\left\{ a_{n} \right\}{an},我们用∑n=pqan(p≤q)\sum_{n=p}^{q}a_{n} \left( p \le q \right) n=p∑qan(p≤q)表示和ap+ap+1+⋯+aqa_p + a_{p+1} + \cdots + a_{q}ap+ap+1+⋯+aq。联系着{an}\left\{ a_{n} \right\}{an},作成序列{sn}\left原创 2024-05-03 19:37:12 · 630 阅读 · 0 评论 -
数列与级数(上)
3.1 定义 度量空间XXX中的序列{pn}\left\{ p_{n} \right\}{pn}叫做收敛的(converge),如果有一个下述性质的点p∈Xp \in Xp∈X:对于每个ε>0\varepsilon >0ε>0,有一个正整数NNN,使得n≥Nn \ge Nn≥N时,d(pn,p)原创 2024-05-03 19:20:24 · 912 阅读 · 0 评论 -
基础拓扑-习题(下)
17.令EEE是所有x∈[0,1]x \in \left[ 0,1 \right]x∈[0,1],其十进小数展开式中只有数码444和777者。EEE是否可数?EEE是否在[0,1]\left[ 0,1 \right][0,1]中稠密?EEE是否紧?EEE是否完全证明:不可数,类似康托对角线不稠密,000不是EEE中的点,也不是EEE的极限点显然EEE有界设p=0.p1p2⋯p=0.p_{1}p_{2}\cdotsp=0.p1p2⋯是EEE的极限点,若p∉Ep \not\in Ep∈E,则存在最小原创 2024-04-23 22:32:52 · 458 阅读 · 0 评论 -
基础拓扑-习题(上)
1.证明空集是任何集合的子集证明:假设∅⊄A\emptyset \not\subset A∅⊂A,存在x∈∅,x∉Ax \in \emptyset,x \not\in Ax∈∅,x∈A,矛盾2.如果存在不全为零的整数a0,a1,⋯ ,ana_{0}, a_{1}, \cdots, a_{n}a0,a1,⋯,an,而复数zzz满足a0zn+a1zn−1+⋯+an−1z+an=0a_{0}z^n + a_{1}z^{n-1}+ \cdots + a_{n-1}z + a_{n} = 0原创 2024-04-23 22:28:50 · 442 阅读 · 0 评论 -
基础拓扑学习
2.1 定义 考虑两个集AAA和BBB,他们的元素可以是任何东西。假定对于AAA的每个元素xxx,按照某种方式,与集BBB的一个元素联系着,这个元素记作f(x)f\left( x \right)f(x);那么,就说fff是从AAA到BBB的一个函数(或将AAA映入BBB内的一个映射)。集AAA叫做fff的定义域(domain, 或者说fff定义在AAA上),而元素f(x)f\left( x \right)f(x)叫做fff的值(value)。fff的一切值得集叫做fff得值域(range)2.2 定义 设A原创 2024-04-18 14:43:40 · 403 阅读 · 0 评论 -
实数系和复数系
1.1 例 我们现在证明方程p2=2p^2 = 2p2=2不能被任何有理数ppp满足,倘若有那样一个ppp,我们可以把它写成p=mnp = \frac{m}{n}p=nm,其中mmm和nnn都是整数,而且可以选得不都是偶数,代入得m2=2n2m^2 = 2 n^2m2=2n2表明m2m^2m2是偶数,因此mmm是偶数,这表明nnn也是偶数,矛盾 现在我们把这种情况考察得再稍微严密一些。令AAA是使p2原创 2024-04-13 16:16:42 · 615 阅读 · 0 评论 -
戴德金分割构造实数
具有最小上界性的有序域R\mathbb{R}R存在此外,R\mathbb{R}R包容着Q\mathbb{Q}Q作为其子域。第二句话表示Q⊂R\mathbb{Q}\subset \mathbb{R}Q⊂R而且把R\mathbb{R}R中的假发与乘法运算用于Q\mathbb{Q}Q的元时,与有理数的普通运算相一致;又正有理数时R\mathbb{R}R中的正元素。R\mathbb{R}R的元叫做实数。证明:R\mathbb{R}R的元是Q\mathbb{Q}Q的确定的子集,称为分划,规定分划是具有以下三种性原创 2023-11-13 03:32:05 · 373 阅读 · 0 评论 -
平面和射线交点
则直线和平面有且仅有1个交点。(2)为了方便,平面法向量。(1)这个高中有学过。直线上的点可以表示为。,则直线与平面无交点。射线上的点可以表示为。,则直线与平面无交点。原创 2023-11-08 11:13:32 · 402 阅读 · 0 评论 -
极值点偏移2
已知f(x)=lnxxf\left(x\right) = \frac{\ln x}{x}f(x)=xlnx,若f(x)=af\left(x\right) = af(x)=a有两个不用的零点x1,x2x_1, x_2x1,x2,且x1原创 2023-10-21 01:32:47 · 359 阅读 · 0 评论 -
极值点偏移练习1
若函数fx在xx0处取得极值,且函数yfx图像与直线yb交于Ax1bBx2b亮点,则AB的中点坐标M2x1x2b,但是x0不一定等于2x1x2一般:给你fx1fx2,然后证明x1x22x0之类的。原创 2023-10-17 02:17:03 · 340 阅读 · 0 评论 -
ALG不等式
设ab0则ablna−lnba−b2ab证明:不妨假设ab0lna−lnba−blna−lnblnbaba1lnba−2ba−12abab2a−bba12ba−10令tba1ftt1lnt−2t−1)f′tlntt1−1f′′tt2t−10f′。原创 2023-10-16 10:53:30 · 290 阅读 · 0 评论 -
对偶范数共轭
ab≤papqbq其中a≥0b≥0p1q1p1q11当且仅当apbq时取等证明:当a0或b0时显然成立当a0b0时由Jensen不等式lnpapqbq≥p1lnapq1lnbqlnab当且仅当apbq时取等。原创 2023-08-01 10:24:51 · 290 阅读 · 0 评论 -
Distribution Matching for Crowd Counting阅读笔记
用OT来解决人群计数问题用了OT+count loss + TV loss证明OT的泛化误差比density map和Bayesian Loss。原创 2023-08-01 10:24:40 · 193 阅读 · 0 评论 -
A Generalized Loss Function for Crowd Counting and Localization阅读笔记
简单来说,就是用了UOT来解决人群计数问题。原创 2023-08-01 10:20:12 · 266 阅读 · 0 评论 -
Approximating Wasserstein distances with PyTorch学习
其中最后一步,向量和矩阵相加涉及广播机制。具体看到熵对偶的坐标上升那就行。原创 2023-08-01 10:19:33 · 154 阅读 · 0 评论 -
fenchel-rockafellar duality
的Legendre transform为。上的 适当凹函数,则。原创 2023-07-16 14:58:51 · 291 阅读 · 0 评论 -
闭函数和下半连续函数
的上方图(epigraph, supergraph)适当函数(proper function)为闭函数(closed function)为广义实值函数,若对于任意的。为广义实数空间,则映射。原创 2023-07-15 17:14:21 · 1130 阅读 · 0 评论 -
简单的拓扑学习
是一个Fréchet–Urysohn空间(例如所有度量空间),则。这个定义也可以推广到拓扑空间,只需要用邻域替代“开球”。闭集等价定义:若一个集合的补集是开集,则这个集合是闭集。,所有内点构成的集合称为集合的内部,表示为。的闭球(closed ball)表示为。的内点(interior point)为一度量空间,即具有度量(距离函数)注意,这个定义并不要求邻域是开的。的开球(open ball)表示为。的边界点构成的集合称为边界,记为。开集是一个只包含内部点的集合,即。的内点,若对任意不属于。原创 2023-07-15 16:20:28 · 323 阅读 · 0 评论 -
Wasserstein距离
可以证明p-Wasserstein distance也是距离。表示Lipschitz连续,其中Lipschitz常数为。称为p-Wasserstein distance,原创 2023-07-04 15:08:30 · 519 阅读 · 0 评论 -
逆函数学习
由这个定理,可以等价地给出逆函数的另一定义。是单射,也是满射,根据(1)和(2)可知,的逆关系也是函数,我们称这个哈数为。既是左可逆的,又是右可逆的 ,则。既是左可逆的,又是右可逆的。既是左可逆的,又是右可逆的。既是左可逆的,又是右可逆的。:双射函数的逆函数是唯一的。是函数,这是因为任意的。是单射,所以存在唯一的。的所有有序偶可以得到。由此可见,对于任意的。原创 2023-06-10 14:06:36 · 2179 阅读 · 1 评论 -
函数的合成
(一般地,函数的合成是不可交换的)(3)由(1)、(2)显然。(3)由(1),(2)显然。证明:有关系的合成可知,是函数,所以存在唯一的。原创 2023-06-09 13:46:19 · 648 阅读 · 0 评论 -
函数的基本概念
设。原创 2023-06-09 13:13:31 · 535 阅读 · 0 评论 -
不变子群、商群与群同态基本定理
设。原创 2023-06-07 20:01:26 · 1622 阅读 · 2 评论 -
陪集与拉格朗日定理
设。原创 2023-06-07 20:01:04 · 1031 阅读 · 0 评论 -
循环群和变换群
设。原创 2023-06-05 10:19:52 · 2350 阅读 · 0 评论 -
子群和群同态
设。原创 2023-06-05 10:16:45 · 679 阅读 · 0 评论 -
群的定义及性质
设。原创 2023-06-05 10:17:20 · 1562 阅读 · 0 评论 -
半群和独异点
定义:设S⋅⟨S⋅⟩为代数系统,若⋅\cdot⋅是可结合的二元运算,则称S⋅⟨S⋅⟩为半群设M⋅⟨M⋅⟩为半群,若关于⋅\cdot⋅有单位元eee,则称M⋅⟨M⋅⟩为独异点,也称含幺半群,在强调单位元时,可记作M⋅e⟨M⋅e⟩若半群(独异点)中的 运算⋅\cdot⋅时可交换的,则称S⋅⟨S⋅⟩为可交换半群(可交换独异点)原创 2023-05-30 13:37:08 · 1650 阅读 · 0 评论 -
商代数与积代数
设R使A⟨S∗1∗2⋯∗n⟩上的同余关系,则R使S上的等价关系,因此R可诱导出S的一个划分SRaR∣a∈S.对于运算∗i,定义SR上的同阶运算⊛i∀a1Ra2R⋯aniR∈SR⊛ia1Ra2R⋯aniR∗ia1a2⋯aniR⊛i。原创 2023-05-29 10:36:05 · 964 阅读 · 0 评论 -
可数集和不可数集
设S是任一集合,称SS∪S为S的后继集。原创 2023-05-29 10:36:55 · 1546 阅读 · 0 评论 -
同余关系学习
设A⟨S∗1∗2⋯∗n⟩为代数系统,R为S上的等价关系(1)对于运算∗i,若∀a1b1a2b2⋯anibni∈Sni为运算∗i的阶),由akRbkk12⋯ni可得∗ia1a2⋯aniR∗ib1b2⋯bni,则称R关于∗i具有(2)若R关于运算∗。原创 2023-05-24 13:23:05 · 756 阅读 · 0 评论 -
同态与同构
设A⟨S∗1∗2⋯∗n⟩和A′⟨S′∗1′∗2′⋯∗n′⟩是两个代数系统若∀i∈N1≤i≤N∗i和∗i′是同阶运算,则称A和A′是设∗和∗′分别是集合SS′上的n元运算,函数hS→S′若∀a1a2⋯an∈S,都有h∗a1a2⋯an∗′ha1ha2⋯han。原创 2023-05-23 14:12:25 · 574 阅读 · 0 评论 -
代数运算与代数系统
I表示整数I表示正整数ρA:设A是集合,则称x∣x⊆A为A的幂集。原创 2023-05-23 14:11:58 · 1074 阅读 · 0 评论 -
伯努利分布和二项分布
只先进行一次事件试验,该事件发生的概率为p,不发生的概率为1−pPXkpk1−p1−kk01期望EXp方差DXp−p2p1−p。原创 2023-05-10 12:34:11 · 941 阅读 · 0 评论 -
感知机学习
假设输入控件(特征空间)是X⊆Rn,输出空间是Y1−1,输入x∈X表示实例的特征向量,对应于输入空间(特征空间)的点;输出y∈Y表示实例的类别。由输入空间到输出空间的如下函数fxsignw⋅xb称为,其中w和b为感知机参数signx1−1x≥0x0。原创 2023-04-28 15:40:48 · 528 阅读 · 0 评论 -
背包问题学习
01背包(0-1 Knapsack Problem)有N件物品和一个容量为V的背包。放入第i件物品耗费的费用是Ci,得到的价值为Wi。求解将哪些物品装入背包可以使价值总和最大设Fiv表示前i件物品敲好放入一个容量为v的背包可以获得的最大价值,容易写出FivmaxFi−1vFi−1v−CiWiF000时间复杂度ONV。原创 2023-02-01 18:12:58 · 1875 阅读 · 0 评论 -
tarjan强连通分量
至于low[u] = min(low[u], dfsn[v]);能不能替换为low[u] = min(low[u], low[v]);而其他网站说不可以,例如wiki和geeksforgeeks。视频里的答案是可以,但是为了和其他代码统一,建议不换。的子树中能够回溯到的最早的已经在栈中的节点。一个是dfs序,另一个是。原创 2023-01-30 23:41:39 · 210 阅读 · 0 评论 -
矩阵求导学习
∂y∂x=(∂y∂x1∂y∂x2⋯∂y∂xn)\frac{\partial y}{\partial \mathbf{x}} = \begin{pmatrix}\frac{\partial y}{\partial x_1} & \frac{\partial y}{\partial x_2} &\cdots & \frac{\partial y}{\partial x_n} \end{pmatrix}∂x∂y=(∂x1∂y∂x2∂y⋯∂xn∂y)∂y∂x=(∂y1∂x∂y2∂x⋮原创 2023-01-20 10:05:56 · 543 阅读 · 0 评论