数学专业术语
数学专业词汇
数学
量
假设
定理
逆否命题
猜想
验证
充要条件
论证
恒等式
公式
小于
不等方程
常数
复合
完全的
肯定的
离散的
周期
族
子集
并
直积集
差集
n元组
值域
逆映射
恒同映射
映入
同构
对称性
超穷基数
可数无穷的
数理逻辑
形式语言
合式的
矢列式
论题
命题演算
联结词
逻辑加法
否定词
析取范式
真值
重言式
谓词变元
个体变元
非标准量词
前束词
闭公式
全域
一阶理论
相容性
可定义性
斯科伦壳
初等等价的
初等子模型
进退构造
原子理论
万有模型
稳定性
递归结构
非标准分析
直觉主义逻辑
抽象化
数词可表示性
相对相容性
元逻辑
可判定性
集合论
策梅洛-弗兰克尔集合论
确定性
选择函数
广义连续统假设
本元
平稳集合
序数
超穷序数
初始段
正则基数
归纳定义
可构成性
共尾性
力迫关系
序数可定义的
不可达基数
聚合
哥德尔配数法
配对
不可解性
原始递归式
递归性
计算复杂性
算术谓词
图灵机
停机问题
计算
次递归性
正合对
及时单纯集
优先方法
极小对
谕示
序数记号
归约
潜无穷
公理学
公理化理论
模态逻辑
范畴逻辑
组合分析
循环排列
计数问题
线性递归关系
无序分拆
区组设计的关联矩阵
平衡设计
对称区组设计
按对平衡区组设计
填装
施泰纳三元系
循环拟差集
阿达马矩阵
构形
余正二次型
顶点
邻顶点
重图
图同构
顶点子图
通道
圈秩
全不连通图
顶点次数
补图
团
完全二部图
无圈图
回路
拟图
边连通度
哈密顿圈
递归边图
彼得松图
边覆盖
独立顶点集
临界边
平面嵌入
对偶地图
最大亏格
舍弃运算
四色问题
色剖分
邻接矩阵
顶点传递图
齐次图
标号图
树
顶点的权
出次数
出树
弱连通的
超图
平凡序的
保序映射
前导
极大元
格
幂等律
子格
代换性质
对偶同构
同态的同余核
主滤子
分配格
相对补
伪补格
原子格
完全交不可约元
弱模格
布尔环
布尔方程
紧元
交无穷分配
斯通格
双格
直不可分解格
标准元
对称格
分划格
无赘表示
德摩根代数
空元运算
底集
柱形代数
商泛代数
同余可换代数
类算子
自由泛代数
超幂
半单簇
整数
负号
加数
减
乘法
被乘数
除
商
底数
分数指数
公因数
欧几里得算法
合数
标准分解式
完满数
分母
公分母
前项
比例内项
正比
更比
十进制数字
小
数位
混循环小数
开方
根式
不尽根
不可公度的
正数
虚数
棣莫弗公式
等差数列
等比数列
调和数列
高阶等差数列
连分数
无限连分数
同余式
非同余
剩余类的代表
孙子剩余定理
二次互反律
埃拉托色尼筛法
整二次型
超越数
数的几何
指数和
克卢斯特曼和
狄利克雷特征标
大筛法
算术函数
除数函数
除数问题
分拆函数
代数数域
代数整数环
整理想
差积
狭义理想类
分圆单位
惯性群
弗罗贝尼乌斯自同构
四次互反律
乘性同余
局部类域论
束类域
阿廷映射
伊代尔群
阿代尔
二次域
施蒂克贝格理想
伯努利分布
自共轭理想类
种域
局部参数
有理函数域
阿贝尔函数域
可公度子群
模形式的权
戴德金η函数
赫克算子
志村互反律
塞尔贝格迹公式
多伊林正规形
同源的
韦伊配对
乘性约化
卡塞尔斯配对
标准高
塞尔默群
内龙模型
椭圆曲线的周期
域论
域特征数
代数的
极小多项式
域扩张
代数闭域
域的复合
可分元
不可分次数
伽罗瓦论
伽罗瓦对应
分圆多项式
阿贝尔扩张
维特向量
代数无关的
线性无缘
序域
实闭包
正定有理函数
赋值
赋值等价
典范赋值
剩余次数
平凡绝对值
完全域
离散赋值
全分歧扩张
局部域
全不连通的
差代数
多项式
系数
零次
齐次多项式
因式
多项式的容度
有理分式
配方
二项式
对称多项式
结式
一元一次方程
一般方程
三项方程
待定系数法
有理根
虚根
二重根
线性代数
矩阵的元
单位矩阵
矩阵的对角线
矩阵的秩
矩阵的迹
初等矩阵
分块对角矩阵
转置伴随矩阵
梯矩阵
酉矩阵
埃尔米特矩阵
正半定矩阵
实矩阵
极式分解
相似矩阵
列等价的
友矩阵
矩阵的正规形
奇异值分解
复合矩阵
矩阵的张量积
向量的加法
行向量
线性相关
零空间
线性空间的维数
对偶空间
线性变换
线性变换的矩阵
余维数
幂零线性变换
半线性同构
欧几里得空间
单位向量
正交变换
酉空间
正规变换
相关线性方程
初等变换
代入消元法
子式
行列式展开式
范德蒙德行列式
群行列式
线性型
非奇异双线性型
反称双线性型
伴随线性映射
二次型的秩
埃尔米特二次型
定二次型
符号差
等距同构
正交和
迷向子空间
零型
维特-格罗滕迪克群
旋量范
乘性二次型
二次空间的格
多重线性代数
张量代数
可分张量
共变
指标
混合张量代数
对称张量
交错化子
张量积
混合外代数
子模
模同态
忠实模
单模
模的直和
补子模
投射模
生成元
双模
降链条件
准素子模
模的本质扩张
不可分解模
局部表现模
双自同态环
余模
交换代数
环的诣零根
环的极大谱
主理想整环
整除
真因子
唯一因子分解整环
理想的收缩
分式域
交换A代数
整闭包
诺特环
准素分解
分次理想
希尔伯特多项式
非混合理想
正则局部环
环籍模的扩张
永田环
形式幂级数环
代数集
仿射坐标环
仿射超平面
齐次坐标环
子簇
支配态射
簇的函数域
支配有理映射
双有理态射
点的拉开
光滑簇
簇定义域
格拉斯曼簇
正常相交
有理等价
预层
层
正则函数层
常数层
仿射概形
概形同构
约化概形
局部诺特概形
正则概形
概形的粘合
开浸入
概形上的射影空间
分离态射
态射的纤维
扭曲层
卡吉耶除子
丰富可逆层
几何亏格
射影空间的上同调
塞尔对偶
艾达尔上同调
阿贝尔晶体
牛顿斜率
平面曲线
四次曲线
二重点
单切线
对偶曲线
素除子
主除子
完全线性系
亏格
曲线的有限态射
赫尔维茨公式
弗罗贝尼乌斯态射
丰富除子
正规交叉
三次曲面
泛同态
参数簇
庞加莱除子
极化的阿贝尔簇
皮卡概形
自同态的迹
阿贝尔簇的极化
非交换环
加法结合律
加法消去律
右幺元
右零因子
本原幂等元
逆元
拟正则元
左理想
理想的积
单位理想
同态的核
自同构
反自同构
斜多项式环
非交换整环
右乘环
次直积
极大左理想
根基
布朗-麦科伊根
根环
皮尔斯分解
右阿廷环
右诺特环
半本原环
准素环
左奥尔环
左分式环
拟弗罗贝尼乌斯环
右列环
半完满环
子代数
有限维代数
代数的根
局部代数
殆分裂序列
箭图的表示
箭图的二次空间
代数的分裂域
代数的分裂扩张
中心代数
中心单代数的指数
分裂因子组
简化迹
代数的恒等式
泛矩阵代数
右序模
单代数的判别式
滤过代数
余代数同态
代数
交错代数
一般凯莱代数
例外若尔当代数
若尔当代数的表示
反交换
李代数同构
伴随李代数
分裂李代数
李代数的中心
约化李代数
李代数的复化
开西米尔多项式
李代数的诣零表示
李代数的奇异元
正根系
外尔群
典型复单李代数
支配权
不变多项式
模李代数
对象
单位态射
满子范畴
阿贝尔群范畴
对象的余积
终对象
自由对象
对偶函子
忠
实函子
常数函子
自然等价
泛性质
表示函子
推出
转置伴随等价
态射的核
阿贝尔范畴
商对象
同调代数
链
同调群
上边缘
上同调群
可裂短正合序列
交换图表
模上复形
内射分解
左正合函子
屈内特公式
群的上同调群
主叉同态
群中心扩张
相对投射模
非齐次的横分解
群的上同调维数
上同调平凡模
李代数的扩张
投射维数
合冲
格罗滕迪克群
连通环
带积范畴
保积函子
环的施坦贝格群
非交换群
群的阶
子群的指数
双陪集
循环群
正规化子
商群
群的自同构
外自同构群
全不变子群
半直积
容许子群
中心自同构
次正规列
合成列
中心列
菲廷分解
霍尔子群
自由阿尔贝群
广义四元数群
弗拉蒂尼子群
置换群的次数
奇置换
传递集
非本原群
轨道
初等交换群
有限表现群
字
周期群
典型群
一般射影线性群
射影酉群
旋量群
辛变换
仿射群
不变量
基本不变式
晶体群
正八面体群
有限单群分类
马蒂厄群
常表示
置换表示
表示的级
可约表示
不可约表示的舒尔指数
完全可约性
对偶表示
整表示
特征标的级
正交关系
弗罗贝尼乌斯互反公式
群的分裂域
不可分解模表示
块的亏数群
广群
幺拟群
连通代数群
代数群的有理表示
左函数平移
代数群的李代数
典范态射
半单元
抽象根系
幂幺根
抛物子群
代数群的外尔群
布吕阿分解
谢瓦莱群
算术子群
拓扑群的直积
左一致结构
局部紧群
零化子的互反性
紧阿贝尔群
紧群的群环
局部单连通
泛覆叠群
投射有限群
李群
解析群
李群的李代数
解析同态
局部解析同构
第一类典范坐标
交换李群
李群的表示
旋量表示
无穷小变换群
李代数的解析群
复单连通解析李群
量子群
经典杨-巴克斯特方程
上界
有界的
开区间
康托尔集
一元函数
数量级
下极限
一致连续的
上极限函数
半连续的
第二类不连续点
奇函数
非减
反函数
负变差
条件不等式
微分学
右导数
分数次导数
微分
高阶微分
拉格朗日中值定理
链式法则
高阶偏导数
对数
自然对数
三角函数
极值
条件极值
雅可比矩阵
朗斯基行列式
黎曼积分
黎曼可积的
积分下限
不定积分
换元积分法
牛顿-莱布尼茨公式
二重积分
累次积分
斯托克斯公式
测度论
测度
若尔当测度
勒贝格测度
零集
卡拉泰奥多里测度
积测度空间
豪斯多夫维数
勒贝格积分
平均收敛
单调收敛定
理
点函数
密集点
极限点
部分和
渐近收敛
条件收敛
调和级数
赫尔德求和法
泊松求和公式
二重级数
一致收敛性
正交多项式
帕塞瓦尔等式
沃尔什正交函数系
傅里叶系数
卷积
泊松核
唯一性集
广义三角多项式
调和函数
哈代-李特尔伍德极大函数
加权不等式
卡尔松测度
不变平均
幺模的
向量场
流线
环流量
复分析
虚轴
多连通区域
幂级数
正则性横坐标
单值分支
单演函数
洛朗级数
主部
增长性
型函数
超越亚纯函数
亏量
边界表现
解析函数元素
单值化定理
紧黎曼曲面
基本区域
肖特基群
边界对应
素端
正规性准则
茹利亚点
芒德布罗集
拟共形反射
插值逼近
多重幂级数
全纯包
解析映射
复流形
伯格曼度量
广义傅里叶积分
梅林变换
位势论
带号测度全变差
测度卷积
完满核
牛顿位势
面分布位势
有限能量位势
罗宾常数
逆控制原理
变分法
变分不等式
二阶加托微分
拉格朗日必要条件
极值场
捷线
等周问题
里茨方法
严格凸
广义多胞体
凸多面锥
弱下半连续的
支撑半空间
分离点
正常凸函数
拟凸函数
拟凹函数
非负凸函数的极函
双重函数
卷积下确界
初值问题
皮卡序列
特解
里卡蒂微分方程
正交轨线族
常数变易法
正则奇点
艾里微分方程
施图姆比较定理
拓扑动力系统
可积微分方程组
鞍点
扭转映射
非线性振动
下调和解
马瑟集
多体问题
轨道稳定性
扰动理论
动力学方程
扩张映射
马蹄
双曲环体自同构
强横截条件
拓扑传递性
偏微分方程
半线性偏微分方程
霍姆格伦唯一性定理
特征行列式
次特征射线
特征曲面
蒙日束
余法向导数
级数解
达布问题
最大值原理
混合边界问题
解的积分表示
庞加莱不等式
内估计
上调和函数
正规双曲型方程
拉普拉斯双曲型方程
洛伦兹变换
降维法
混合型边界条件
椭圆型域
强椭圆型方程组
粘性消失法
高阶线性椭圆型方程
严格双曲性
自由边界问题
非线性薛定谔方程
爱因斯坦方程
贝克隆变换
能量不等式
微局部分析
自伴微分算子
内微分算子
弱解
索伯列夫引理
伯格曼算子
微亚椭圆性
微双曲型
初始流形
齐次积分方程
对称核
第一类沃尔泰拉积分方程
弗雷德霍姆择一定理
维纳-霍普夫积分方程
普朗特积分微分方程
椭圆函数
补模数
单周期函数
第三类椭圆函数
不完全Γ函数
蒂索-波哈默微分方程
第二类勒让德函数
双轴球面函数
雅可比多项式
汇合型超几何函数
对数积分
第二类贝塞尔函数
第二类汉克尔函数
迪尼级数
椭球调和函数
变形马蒂厄方程
马蒂厄法
米塔-列夫勒展开
连续线性泛函
完备
化
次连续性
强收敛的
第一范畴
强对偶空间
拓扑线性空间
局部凸
拟桶型空间
基本空间
广义函数卷积
佐藤超函数
范数
自反巴拿赫空间
格序线性空间
正规锥
正交系
开映射定理
插值偶
切比雪夫半径
连续线性算子
幂零算子
正交投影
对称算子
半正规算子
积分算子
无穷小生成元
广义本征值
伪预解式
邓福德积分
谱扰动
交换巴拿赫代数
交换子
赋范环元的谱
巴拿赫代数的表示
圆盘代数
次连续映射
次梯度
可测集值函数
增生算子
乌雷松算子
正规可解性
映射度
增算子
希尔伯特流形
切锥
双可测变换
单一生成的
不变测度问题
阿贝尔遍历定理
弱徘徊集
离散谱
平斯克分割
次序公理
直线
体积
补角
对顶角
钝角三角形
角的对边
外接圆
外分角线
半径
边心距
反演中心
菱形
凸多边形
外切形
尺规作图法
立体
立体角
四棱柱
圆柱
大圆
平面三角形
余弦
余弦公式
球面三角学
原点
斜轴
坐标曲线
方向比
切点
二次曲线
准线
共轭轴
椭球面
双曲抛物面
长短辐圆内摆线
追踪曲线
双曲螺线
尖点
切面
全等变换
射影直线
射影对应
施陶特代数
平面坐标
射影变换群
二次超曲面
奇异射影变换
线汇
仿射坐标
平行坐标
全等变换群
椭圆几何学
默比乌斯变换
绝对几何
邻域
边界点
闭包运算
第一范畴集
局部有限覆盖
开映射
商映射
闭路
分离性公理
第二可数公理
局部紧空间
斯通-切赫紧化
可度量化
完全一致空间
紧映射
收缩变换
离散集
覆盖的阶
环面
流形
不可定向流形
轨形
相对闭链
单形的面
几何单纯复形
骨架
欧拉示性数
链群
自由面
约化同调群
定向胞腔
胞腔同调群
谱同调
上边缘算子
胞腔上同调群
庞特里亚金积
霍普夫不变量
庞加莱-莱夫谢茨对偶
同伦类
同伦逆
连通数
约化纬垂
同伦群
胞腔空间
覆叠空间
阻碍类
全空间
球面丛
向量丛
分类空间
庞特里亚金类
稳定等价
坐标卡
微分拓扑
映射的微分
正则子流形
微分形式
内乘
怪球面
割补阻碍
定阔曲线
密切圆
法平面
高斯曲率
球面表示
渐近曲线
里奇曲率
直纹曲面
卵形面
张量分析
克氏符号
余切向量
椭球算子的指标
测地流
形状算子
规范群
共变微分
雅可比场
比较定理
软层
消灭定理
独立试验
不可能事件
事件的对称差
组合概率
原子事件
先验概率
随机集
概率函数
多峰分布
超几何分布
指数分布
负多项分布
椭球等高分布
变异系数
中心矩
峰度
条件期望
均方收敛
概率距离
无穷小条件
大偏差
多参数过程
典型过程
均方连续
通常条件
可选的
鞅
局部鞅
极限鞅
局部时
伊藤公式
马利亚万随机分析
高斯测度
无后效
随机阵
常返状态
平衡态
最小链
末离时
中断过程
反射壁
抽象维纳空间
经验过程
伊藤过程
互激点过程
无穷粒子系统
弱平稳过程
混合条件
正交随机测度
新息
数理统计学
概率坐标纸
非齐性总体
不变分布族
冗余参数
组限
经验分布函数
子样本
完全统计量
样本标准差
样本分位数
决策空间
不变决策函数
无信息先验分布
经验贝叶斯方法
点估计
不变估计
序贯估计
边缘似然函数
相对效率
一阶效率
统计假设
检验函数
第二类错误
不变检验
容许检验
区域估计
置信区间
置信集
广义线性模型
可变参数模型
残差平方和
回归系数
样条回归
多重共线性
概率单位模型
组间平方和
多元总体
样本复相关系数
偏相关
因子分析
线性判别函数
绝对秩
密度估计
置换检验
崩溃点
投影寻踪法
不放回抽样
系统抽样
回归估计
用方风险
挑选型抽检
统计质量控制
最优设计
裂区设计
均匀设计
多元时间序列
谱估计
三角回归
二值时间序列
舍入
单字长精度
计算的不稳定性
符号计算
截断误差
机器误差
平均误差
有效位数
严格误差限
可逼近性
最佳一致逼近
连分式逼近
帕德方程
最佳逼近的特征
最优逼近
联合逼近
列梅兹算法
最小二乘法
测试函数
插值性质
埃尔米特插值
线性插值
双三次插值
单项样条
高阶差分
差分表
隐式差分法
均差
机械求体积
闭型积分公式
复合辛普森公式
拉道求积
数学函数表
自适应积分
单步法
整步迭代
指数稳定的
多重打靶法
局部收敛
超线性收敛速率
欧拉变换
图解法
变形牛顿法
梯度方向
最速上升
和校验
平方根法
对角优势
良态
迭代法
高斯-赛德尔迭代法
分块
切比雪夫加速法
矩阵收缩
鲍尔双迭代法
有限元分析
网格线
矩形网格
非正则网格
二次元
单元刚度矩阵
杂交有限元法
柯朗数
流入
边界条件
自动网格生成
交替方向隐格式
算子紧致隐格式
本质不振荡
弱守恒型
时间尺度
分步法
随机选取法
倒易蒙特卡罗方法
向量蒙特卡罗方法
对偶变数方法
乘同余方法
独立偏度
对称抽样方法
热浴抽样方法
碰撞概率方法
控制变数方法
最优性条件
离
散最优化
极小解
次优
约束条件
积极约束
库恩-塔克约束规格
可行方向
非凸二次规划
布尔规划
交互规划
局部最优化
相对极值
对偶性
弱对偶定理
单纯形法
人工基
修正单纯形法
表作业法
不平衡运输问题
食谱问题
零一规划
二阶充分条件
单峰函数
分批试验法
最速下降法
坐标轮换法
弯谷函数
中心法
罚函数法
增广乘子法
互补几何规划
多目标凸规划
帕雷托解
绝对最优解
较多序
接触定理
线性加权和法
目标值
灵敏度信息
右端参数问题
动态规划算法
流动推销员问题
布尔方法
最大树
最小费用流问题
网络分析
网络图
支付向量
混合策略
对策元素
对策的阶段
极小极大定理
反常对策
两人常和对策
凸合作对策
商对策
无限对策
全信息对策
排队模型
简单流
非强占型优先权
单台服务系统
成批到达
等待时间
嵌入马尔可夫链
库存模型
缺货损失费
首次放空
决策表
策略改进迭代
效用函数
多目标决策
费用函数
结构函数
协调系统
更新过程
更换理论
搜索损失
兰彻斯特方程
互信息
信息测度
信息率
熵率
信源
相关信源
无记忆信道
时变信道
二进删除信道
公共信道
信道编码
字母码
随机编码
译码
概率译码
唯一可译码
代码
消息压缩
失真
乘数词头
纠错码
分组码
二进数群
循环码
卷积码
差错率
突发噪声
校验位
移位
算术码
噪声
统计通信理论
拒绝门限
量子检测
数字信息
存储容量
保密体制
公开密钥
通信密钥
单变量系统
离散系统
奇异摄动系统
模型跟随控制系统
多维系统
关联系统
数学模型
控制变量
积分控制
鲁棒控制
集中控制
数学系统理论
状态变量
输入
阶跃干扰
时域
冲激函数
可控规范形
不可观测子空间
实现理论
自校正控制器
最小阶观测器
传递函数矩阵
内模
开关曲面
系统的分解
结构摄动法
我迷糊，记得不多而且不是很完全，如下
1.(X(t),t>=0}是二阶距过程，满足方程dX(t)=-aX(t)dt+sigmadB(t)，其中{B(t),t>=0}是标准布朗运动，a和sigma是常数。
（1）求X(t)的显示表达式
（2）{X(t),t>=0}是否是宽平
稳过程，求cov,R(tao)
（3）{X(n),n>=0}是否是AR(1)模型
2.求Yn=exp(lamdaB(n)-nlamda^2/2)的期望，并判断是否是鞅
3.已知E(B(t)^4)=3t^2，求E(Int(0,t)B(s)^2dB(s))^2
4.已知{Xn}{Yn}{Zn}都是马尔科夫过程，状态空间S={1,2}，转移概率矩阵P=（1/3 2/3,1/4 3/4）（不记得了，胡写的）
（1）已知pi0，求X2的分布率
（2）Y(0)=1，Z(0)=2，求状态Yn=Zn首达时间的的期望
5.已知{X(t),t>=0}的状态空间S{1,2,3}，Q矩阵（只记得对角线-4,-3,-5），taon是第n次跳跃的时间，Yn=X(taon)，
（1）E(tao1),E(tao2)
（2）求第一次到达状态3时跳跃次数的期望
6.{Xn}关于{Yn}是鞅，T是关于{Yn}的停时，证明：
（1）E(XnI{T=k})=E(XkI{T=k})
（2）EX(min(T,n))=EXn
7.用伊藤公式给出Y(t)=B(t)^4满足的随机微分方程
累死了，这只是考试卷子的1/8-1/7左右。。开个头吧，也算是我选这个课的一个纪念吧