-
9 $\开始组$ 当你纠正拼写错误并将其翻译成文字时,这个产品拓扑的定义真的没那么糟糕:它说每个点X X Y都应该有一个开放邻域,它是X和Y中开放集的乘积。这有什么问题吗? $\端组$ – 乔纳森·怀斯 评论 2009年12月2日16:52 -
14 $\开始组$ 好吧,这个定义的自然推广是盒子拓扑,而丹尼尔定义的自然概括是(范畴)乘积拓扑。 $\端组$ – 乔楚园 评论 2009年12月2日17:07 -
16 $\开始组$ 我的第二点评论:(2)开集的定义在精神上是 建设 ,而不是定义。 它可以被描述为“一种仅适用于有限乘积的开集构造”。 最粗糙拓扑的定义是一个真正的定义,通常被认为是正确的定义,但它 不会给你一个解释 真正的定义给了你更多关于产品的直觉,但有时你需要一个结构。 我的一些类别理论家同伴认为,关于需要一个结构的那一点是异端。 $\端组$ – 六翼六翼天使 评论 2009年12月2日17:24 -
12 $\开始组$ 用最粗糙的拓扑定义给了你一个完全有效的构造:取每个开集的逆像。 $\端组$ – 乔楚园 评论 2009年12月2日17:28 -
13 $\开始组$ 关于定义的这一一般观点需要明确:定义的目的是对概念进行(或多或少)最低限度的技术描述,暗示有关概念的所有真实定理,而不是其他任何东西。 如果定义强调技术方面而没有提及一些重大的直观想法,那也没关系。这不是定义的目的。 教师应该提供多种方式来思考这个概念,其中一些可能构成定义。 $\端组$ – 六翼六翼天使 评论 2009年12月5日1:35
31个答案
-
123 $\开始组$ “即使是相对老练的人也会坚持det(A)是排列的总和……”的确如此。 你还怎么证明SL(n)是一个代数群? 你想如何看待决定因素取决于情况。 $\端组$ 评论 2009年12月9日6:34 -
76 $\开始组$ 你当然是对的,也许我的帖子有点咆哮! 我道歉。 (但毫无疑问,这个问题隐含着一个定义的所有等价公式都可以找到合适的用法。)我的观点是,在本科线性代数课程中,行列式的计算方法模糊了其作为体积膨胀度量的基本几何意义。 置换和的定义在本科课程中特别奇怪,因为该方法不可行(指数时间),而其他方法,如LU分解,是多项式时间。 $\端组$ 评论 2009年12月10日14:09 -
20 $\开始组$ 维克多,我当然是指签名卷。 我认为这并不难。 人们甚至可以公理地对待它:用一个因子膨胀一个维度,将体积乘以该因子; 交换两个坐标会反转方向; 倾斜不会改变体积。 根据这些原理,人们可以推导出通常的公式,同时也提供了一种可行的计算方法。 $\端组$ 评论 2010年6月2日21:42 -
49 -
52 $\开始组$ 这让我想起了我在研究生院的一个朋友讲述的一个故事。 他在系里呆了很多时间,有一天晚上,一位正在上一门花哨课程的本科生走近了他,这门课以流畅的无坐标方式引入了线性变换的轨迹。 这位本科生的任务是计算某个2美元乘以2美元矩阵的轨迹,他不知道如何继续。 $\端组$ – 拉姆西 评论 2012年4月25日4:58
-
70 -
61 -
42 -
44 $\开始组$ 我同意,只要定义“正规子群”,就应该证明它们确实是同态的核,但在某些情况下(例如代数群),很难证明正规子群是核,而在其他情况下(如群方案),它们不是核。 $\端组$ 评论 2009年12月9日6:21 -
15 $\开始组$ 让我们也记住,同态在正常亚群之后的一个多世纪里获得了立足点。 为了使商和同态定理有意义(这也是JS Milne提到的困难背后的元数学原因),您需要抽象群的概念。 $\端组$ – 维克托·普罗萨克 评论 2010年5月28日1:27
-
1 -
11 $\开始组$ 我会作为一只豚鼠担保这一点:我在大一的时候确实把它们作为单独的概念来学习,并且学会了即使在两个空格的情况下也要小心。 这给了我一个很好的直觉,让我知道什么时候应该怀疑有限用例定义的产品(例如上面的方框拓扑),因为它们在无限情况下“可以被定义为不同的”。 我不需要知道早期的分类定义。 $\端组$ 评论 2009年12月4日5:30 -
32 -
2 -
1 $\开始组$ 更不用说在$Grp$中,直接和和副积也是两个不同的东西。 (对于有限多个和,直接和再次与直接积相同;对于无限多个和来说,直接和既不是乘积也不是副乘积,尽管它仍然具有更具共鸣性的味道。) $\端组$ – 托比·巴特尔斯 评论 2011年4月4日4:22
使用时钟激励加法模 n美元$ :优秀的教学法。 一定要提到军事时间,从 $0$ 到 $23$ 而不是 $1$ 到 $12$ 两次。 但是 …使用时钟激励乘法模 n美元$ :WTF? 时间平方?? 国防部 $24$ ??? 这是最糟糕的教育方式:听起来应该有道理,但实际上没有。 当然,很快你就不再胡作非为了,并解释说你只想对数字进行加法/减法/乘法运算,然后取余数mod n美元$ 。这让我想到: 许多文本定义 $Z_n$ 作为集合 $\{0,\ldot,n-1\}$ 并通过取余数mod赋予它加法和乘法 n美元$ 然后他们说这给了我一个戒指。为什么呢? 例如,为什么加法和乘法是关联运算? 如果你想一想,你会发现所有的解释都必须经过这样一个事实 $\mathbb{Z}$ 是一个在通常的加法和乘法运算下的环 $Z_n$ 是从那些 $\mathbb{Z}$ 通过传递到商。 当然,你不必使用这些确切的单词,但我看不出你如何避免使用这些概念。 因此,你应该从一开始就兜售同态概念。 作为推论,我的意思是:有限环的概念 $Z_n$ 对一些人来说 通用的 n美元$ 比一个无限环的逻辑更复杂 $\mathbb{Z}$ (这统领了他们所有人?)。 许多人似乎含蓄地认为,事实恰恰相反。
-
39 $\开始组$ 虽然我同意这里的前提,但您可以通过执行$a$任务来激发乘法模型,每个任务都需要$b$小时。。。 最后几点? 当然,这实际上是在做(整数)*(剩余)而不是(剩余)*(余数),但你让他们注意到,如果你做$n$次任务,$b$是无关的,值得注意的是,重要的是你执行任务mod n的次数!! $\端组$ – 卡姆·麦克莱曼 评论 2010年5月27日16:52 -
33 -
19 $\开始组$ @哈里,我很高兴有人这么说! 时间构成一个仿射空间。 你不需要添加时间。 “3点加4点”什么意思都没有。 你添加的是时间间隔。 时间间隔由秒表测量。 带指针的秒表通常在12或24小时内不会卷绕。 $\端组$ – 丹·皮珀尼 评论 2010年7月15日22:34 -
18 -
24 $\开始组$ 我见过一些学生,他们一定接触过Pete警告的$Z_n$介绍,他们认为通过设置$I\mapsto I$来指定$\mathbb{Z}$-模同态$\{0,1,2\}\rightarrow\{0,2,3,4,5\}$。 对我来说,这是避免引入$Z_n$作为集合$\{0,\ldots,n-1\}$的最终原因。 $\端组$ – 亚历克斯B。 评论 2010年10月23日16:07
当$P(A\cap B)=P(A)P(B)时,A和B是独立的$ 当$P(A\mid B)=P(A)时,A独立于B$
-
6 -
24 $\开始组$ 人们无法“解决”这个问题。 如果B的概率为零,则任何条件概率都是允许的。 我认为一个自然的方法是展示2。 暗示1。 当P(B)>0时,然后抽象并推广到1。 第二个定义根本不可行。 $\端组$ – 迈克尔·格雷内克 评论 2010年7月15日20:33 -
4 $\开始组$ @迈克:这行得通,但你只能在足够好的空间里忘记sigma-代数的时候才能这样做。 参见S.M.Samuels,《作为概率定理的Radon-Nikodym定理》。 jstor.org/pss/2321055 我认为“足够好”就是“Borel”,但我无法在这台电脑上验证这一点。 $\端组$ – 尼尔·多伦多 评论 2011年4月11日15:38 -
51 $\开始组$ @迈克尔·格雷内克(Michael Greinecker),不管它的数学正确性如何,第二个定义是激发整个事物的正确方式。 我们数学家需要停止尝试在第一时间将一切呈现得完美。 给读者一个有效的定义,讨论它的问题,并用它来激发“正确”的定义。 这就是你吸引读者的方式。 $\端组$ – 小妖精走了 评论 2014年7月12日9:01 -
13 $\开始组$ 我不得不反对这个; 第一个定义也很自然。 如果X和Y是独立的随机变量,这意味着随机变量$(X,Y)$的行为方式很明显; 通过将$X$的结果(按$X=X$的概率加权)与$Y$的结果进行配对(按$Y=Y$的概率进行加权),即可给出可能的结果。 $\端组$ – 用户13113 评论 2015年5月18日14:50
-
99 $\开始组$ 为什么? 它们实际上是同一猜想的不同形式,因此不妨一起给出。 在某些情况下,只有$G\times X\to X$定义是有意义的,例如,对于作用于变种X的代数群G(X的自同构群不是代数群)。 在其他情况下,这更容易:当$G$和$X$具有拓扑时,更容易说$G\次X\到X$是连续的,而不是首先在Aut(X)上定义拓扑。 $\端组$ 评论 2009年12月9日6:29 -
35 $\开始组$ @高尔斯:有意思,我认为“$f$”版本更自然。 什么是行动? 你在g$中取$g,在x$中取$x,你就会在x$里得到一个新的$x’。 这正是由f编码的。在g$中输入$g\并输出“一个将$x$发送到$x'$的函数”,我觉得这件事很模糊。 $\端组$ – 卡姆·麦克莱曼 评论 2010年5月27日16:41 -
29 -
13 $\开始组$ 你在一个地方 必须 用泊松作用理论来思考这个问题。 在这里,$X$是一个泊松流形,您可以考虑它的鱼形群$Aut(X)$,但除非$G$具有平凡的泊松结构,否则$G$对$X$的作用是 不 通过鱼类形态。 也就是说,g$中的每个$g\都不保留$X$的泊松结构。 这反映在以下事实中:g$中的$g\通常不是泊松子流形。 它所拥有的是从$G\乘以X\到X$的映射。 $\端组$ – 艾伦·克努特森 评论 2012年3月15日13:57 -
12 $\开始组$ @AllenKnutson我喜欢“鱼类形态”; 这是你的发明吗? 谷歌只找到了这个单词的几个实例,唯一看起来数学化的是这个MO页面。 $\端组$ 评论 2015年4月21日14:55
-
4 -
32 -
1 -
2 -
9 $\开始组$ @耶蒙:是的,“prime”这个词已经被破坏得面目全非了。 想象一下,告诉费马1不再是质数,但0是质数! (我本想告诉毕达哥拉斯,然后才想起他一开始甚至不知道0。) $\端组$ – 托比·巴特尔斯 评论 2011年4月4日4:25
-
45 $\开始组$ 当我看到关于张量的物理文本时——甚至是数学知识渊博的文本和像弗兰克尔这样细心的文本——我想知道,人们是如何理解张量所呈现出来的巨大性的。作为公式,张量是通过按一定规则升降的不规则变换的。 难怪在数学界开始清理相对论之前,只有天才才懂得相对论。 $\端组$ – 数学大师 评论 2010年7月15日22:13 -
三 -
20 $\开始组$ 我认为这已经过时了。 许多物理学家在广义相对论课程中学习张量,其中一本标准教科书是Wald的《广义相对论》。 它用多线性映射来定义张量,而不是作为遵循特定转换规则的标量集合。 卡罗尔的《时空与几何》也是如此。当今时代的大多数理论物理学家都理解张量的这种观点。 $\端组$ – 杰夫·哈维 评论 2010年12月23日15:41 -
8 $\开始组$ @杰夫·哈维:当我在攻读物理学士和硕士学位时(20世纪90年代),我从未有过这样的印象:“当今时代的大多数理论物理学家都理解张量的[无坐标]观点。”也许这取决于子领域/机构? 当然,我遇到了很多人,他们确实理解无坐标的观点,但我也遇到了很多似乎不理解的人。这常常让我的生活变得困难,因为我很难理解无坐标观点,而且我很难让人们帮我把东西翻译成无坐标的语言。 $\端组$ 评论 2012年4月25日6:44 -
8 $\开始组$ 这个错误定义的一个理由是,物理学家有时也会处理标量阵列,这些标量阵列会随着基的变化而变化,但会遵循其他一些变换规则。 所以你可以说:这个量是张量,那个不是。 Christoffel符号就是一个例子。 是的,这些应该被理解为一个连接的坐标,但这个透视图需要一段时间才能形成。 有些人可能仍在思考:谁知道我们接下来会看到什么样的转换规则; 我们必须保持灵活性。 $\端组$ – 托比·巴特尔斯 评论 2014年10月6日6:07
-
9 $\开始组$ 我真的不明白,你想具体改变什么。 你喜欢同源性的什么定义? 在我看来,你呈现庞加莱对偶性的方式确实更直观(所以让学生了解它肯定是正确的),但至少有三个缺点:1)你首先必须证明光滑流形可以三角化。 2) 你必须证明同构并不依赖于选择(在某种意义上)。 3) 这些想法并不能很好地推广到其他情况,比如更复杂的二元论或Thom iso(我认为)。 $\端组$ – 伦纳特·迈耶 评论 2010年5月27日15:33 -
7 -
6 $\开始组$ @Meier,Re(1)证明流形具有三角剖分至少与流形的基本群构造的任何同源性一样基本,所以这对我来说似乎是完全自然的 这取决于你对什么应用程序感兴趣。在彭加莱对偶性被正确设置之后,一旦有了坚实的基础,你就可以给出许多替代公式。 关于(3),寻求普遍性本质上与我的帖子完全相反。 对于一个学生来说,概括一些没有初步掌握的东西是没有意义的。 $\端组$ – 瑞恩·巴德尼 评论 2010年5月28日22:53 -
三 $\开始组$ @Victor,实际上使用你在定向流形上看到的用−f替换f的技巧,莫尔斯复形与其对偶同构,并且构造地图需要一个方向。 根据你是想仔细地给出莫尔斯复数的构造,还是想证明三角剖分的存在,这两种方法都给出了对偶循环的具体图,但需要做大量的几何工作。 $\端组$ – 汤姆·姆罗卡 评论 2011年4月4日13:24
R(.,.)是一个等价关系,当R是自反的、对称的和传递的。 R(.,.)是等价关系,当存在函数f时,R(a,b)当f(a)=f(b)。
-
18 -
10 -
82 -
30 $\开始组$ 我一直认为(1)是非常好和直观的,毕竟,它说“等价关系是一种行为类似于=的关系”,对于本科生来说,这是一个很好的介绍,一个人可能关心其他类型的相似性,而不是平等。 $\端组$ – 凯蒂尔·特维滕 评论 2010年6月2日13:08 -
32 $\开始组$ 定义2的缺点是它不是内在的; 您必须为函数$f$指定一个代码域,然后您必须决定如何定义$f$。 例如,考虑$[0,1]$上的一组可测函数,其中$R(g,h)$iff$g=h$几乎处处可见。 我简直想不出如何定义$f$,甚至它的余域应该是什么(除了“等价类集”之外,这是个问题)。 $\端组$ – 内特·埃尔德雷奇 评论 2012年4月25日15:59
-
54 -
35 $\开始组$ 我几乎不想说函数是什么。 我只想说,如果f是从a到B的函数,x是a的元素,那么f(x)是B的元素,这就是你需要知道的全部。 当然,我有点夸张了,这种观点在一段时间后还不够充分(例如,如何确定从a到B的函数集是否是可数的,如何定义函数空间等?),但在某些情况下,这是您需要从函数的基本定义中得到的最重要的事实。 当然,人们也会举一些例子,包括人造的。 $\端组$ – 长袍 评论 2009年12月5日23:25 -
21 $\开始组$ 关于$A\times B$定义的子集的好处是,很清楚一个函数等于另一个函数意味着什么。 如果函数是规则,则必须指定一个规则与另一个规则相等的含义。 类似地,函数的并集和交集之类的东西也不会立即有意义。 $\端组$ – 瑞恩·巴德尼 评论 2010年1月11日6:54 -
67 $\开始组$ 我认为设置对映的定义是一个简洁的形式技巧,但并不是每个人都直观地思考函数的方式(人们使用“对应规则”或“产生给定输入的输出的机器”等心理图像)。 我有一个朋友不同意,他声称他真的认为函数是成对的。 几天后,我听到他谈论函数的图形,并问他“函数的图形只是指函数,对吗?”。 那件事发生后,他同意我的观点,即没有人认为函数是成对的集合 $\端组$ 评论 2010年5月27日20:33 -
17 $\开始组$ 这个定义的另一个问题是 错误的 --在现代数学中(虽然在一些分析人员的非正式语言IME中不太如此),函数有一个余域。 在此定义下,函数有一个图像,但图像的任何超集都可以是其域。 作为一名大学生,我数次被赋予这个定义,这让我感到困扰 三倍的 $(A,B,R)$其中R是$A\乘以B$的子集,因此。。。 $\端组$ – 最大值 评论 2011年4月4日14:01
$2$nd次同构:$\operatorname{var}(cX)=c^2 \operatorname{var}(X)$; 转换invariant:$\operatorname{var}(c+X)=\operator name{varneneneep(X)$; 累计:$\operatorname{var}(X_1+\cdots+X_n)=\operator name{varneneneep(X_1)+\cdot+\operatoriname{var{(X_n)$,如果$X_1、\ldot、X_n$是独立的。
-
19 -
23 $\开始组$ 但将模块描述为“环上的向量空间”最直接地建立了在模块入门课程中所做的大量工作的动机(或多或少,试着看看向量空间的理论经历了多少)。 当有人第一次看到一个模块时,从环到自同态代数的态射看起来很自然的可能性很小。 “a模块是一种形态”所提供的观点更符合表征理论(例如,关于群体)所诱导的思维状态,但我想很少有人熟悉。。。 $\端组$ 评论 2010年5月27日17:43 -
5 -
6 $\开始组$ 我是一个表象理论家,对于将模作为“同态引入……的自同态代数”引入模,我持严重保留意见。 例如,在这种情况下,模的直接和很难是自然的,在更初级的层次上,添加形态(即模的阿贝尔群结构)很难直观。 更一般地说,一旦调整了“同构”观点(尝试在同构设置中定义一个简单的模块=不可约表示),几何透视就无法挽回地丢失了。 $\端组$ – 维克托·普罗萨克 评论 2010年5月28日2:07 -
6 $\开始组$ 此外,交换环上的模有一些特殊的属性,如果你把模看作一个表示,这些属性是不容易捕捉到的。 关于“环上向量空间”的观点:我很久没有读过范德瓦尔登的《代数》了,但我相信,他是在描述性地谈论“带算子的群”。 $\端组$ – 维克托·普罗萨克 评论 2010年5月28日2:40
-
7 -
9 -
三 $\开始组$ 外部导数的标准定义确实不符合逻辑; 一旦你同意了偏斜对称性,它几乎是唯一合理的定义(事实上,任何接受行列式合理的人都应该对外导数有同样的想法)。 $\端组$ – 萨姆·德比郡 评论 2009年12月4日7:32 -
24 $\开始组$ 就个人而言,$d$的代数公式让我感到冷淡。 我总是发现,对于向量字段$X$,通过$df(X)=Xf$在函数上定义它要容易得多,然后将其扩展为服从$d^2=0$的楔形积上的奇数派生。 很容易看出,这是唯一的定义。 我认为这很有教育意义,而且很容易记住。 $\端组$ 评论 2009年12月4日19:25 -
11 $\开始组$ @何塞:我花了一段时间才明白乔恩的“标准代数定义”是什么意思(大概是由带有偏导数、符号和省略指数的显式公式给出的定义),因为我一直在考虑你的定义,我认为你的定义很好。 $\端组$ – 维克托·普罗萨克 评论 2010年5月28日2:20
-
三 $\开始组$ 它不仅在精神上相似! 产品拓扑是产品上自然投影映射族的弱拓扑。 与Nate的答案的精确关系是,如果$X$是一个集合,它具有对应于一系列映射$f_\alpha$的弱拓扑,那么当且仅当$f_\ alpha(X_i)$对每个$\alpha$收敛时,$X_i$在$X$中收敛。 我不认为弱拓扑的概念属于点集拓扑类(尽管即使子空间拓扑也是包含映射的弱拓扑),但这是一个非常方便的组织原则。 $\端组$ – 保罗·西格尔 评论 2010年5月27日18:20 -
13 $\开始组$ 事实上,如果你想在特定类别$Top$上获得分类产品,那么首先要了解的是产品拓扑结构,这是我对类别理论的有用性和威力的第一印象。 $\端组$ 评论 2011年4月4日10:50 -
1 -
5 $\开始组$ 这太棒了! 当我第一次在Munkres中看到产品拓扑的定义时,我就想到了“对盒子拓扑的一个恼人且不自然的修改”。 另一方面,我从来没有习惯于通过指定收敛网络来定义拓扑; 如何检查我定义的实际上是拓扑? $\端组$ 评论 2012年4月25日6:25 -
1 $\开始组$ 我赞同@Todd Trimble的观点:我认为定义拓扑空间的乘积可以使定义非常容易使用,并为定义产品拓扑(用于“实现”类别产品,证明其存在)提供了很好的动机。 $\端组$ 评论 2012年4月25日6:26
A类 森林 是一个非循环图; A类 树 是一个连接的林。
带有传递关系$\mathord{(\leq)}\subseteq S\times S$的集合$S$,这样每个非空的$T\subsete S$都有一个唯一的 最少的 元素$m\以T$表示,这样$m\leq T$表示T$中的所有$T\。
-
-
1 $\开始组$ @LSpice没错。 在我的经验中,通常的定义类似于维基百科上的定义:“集合S上的良序是S上的总序,其性质是S的每个非空子集在此序中都有一个最小元素。”, 以要求最小元素的唯一性为代价。 $\端组$ – 罗宾·休斯顿 评论 2018年8月19日22:01 -
三
-
5 $\开始组$ 我通常倾向于历史定义。 通常情况下,这对背景最少的人来说是最有动力的,因为这是激发创造者的动力。 例如,如果你看一下哈斯勒·惠特尼(Hassler Whitney)关于特色课程的原创论文,就会发现它们非常原始、明确和漂亮。 非常迷人的介绍,IMO。 $\端组$ – 瑞恩·巴德尼 评论 2009年12月4日5:50 -
三 $\开始组$ 我从来没有教过线性代数,所以我不知道我在这里说什么。 但是,也许有一种说法,即拥有一个反义词是“可逆”最自然的表征,这只是语言的一种产物? 如果我们用“非奇异”或“非退化”这个词来描述这个性质,其他的特征可能看起来更自然。 $\端组$ – 迈克尔·卢戈 评论 2009年12月4日15:12 -
三 $\开始组$ @迈克尔·卢戈:我也从未教过线性代数,但在我看来,双射函数的本质属性是它有一个逆函数。 相信这个定义是“正确的”定义的一个原因是,它的泛化,同构的概念,远比“既是monic又是epic的态射”的概念重要 $\端组$ 评论 2012年4月25日6:14
衍生品。 最简单的例子是映射$f:\mathbb{R}^m\rightarrow\mathbb{R}^n$的微分。 这通常由雅可比矩阵给出,虽然雅可比在计算中非常有用,但我一点也不清楚它是如何推广普通导数的,直到我看到证明它在某一点满足导数的无坐标定义为止。 即,映射$D_af:\mathbb{R}^m\rightarrow\mathbb{R}^n$,这样
张量乘积和张量。 大卫·科尔文已经谈到了这一点。 歧管上的局部坐标。 我认为在使用局部坐标时会丢失许多优雅的定义和属性,例如,在局部坐标设置中解释切线空间时,切线空间变得非常笨拙和不自然(尽管它确实变得更加直观)。 矩阵和线性映射。 我建议阅读最上面的帖子。 但我要提到的是,我个人最为担忧的是行列式:在我了解行列式作为相关线性图的最高外幂的定义之前,它们对我来说毫无意义!
-
三 $\开始组$ 我也更喜欢从外部力量的角度来思考,但引入行列式(至少超过$\mathbb{R}$)的另一种直观方法是,它们通过应用线性映射来测量体积的扩展。 一个精确的相关结果是,每个连续群同态$GL_n(\mathbb{R})到\mathbb{R}^次$本质上是行列式映射的幂(参见示例。 golem.ph.utexas.edu/category/2011/08/mixed_volume.html#c039412 ). $\端组$ 评论 2015年4月21日13:59
-
5 $\开始组$ 我同意,乍一看,显式公式说的不多,但我想你不会期望出现“群乘积到M(G)的唯一双线性弱*连续扩展”的定义,例如在本科生的实际分析课程中。。。 $\端组$ 评论 2011年4月11日13:33 -
1 -
7
“错误”定义: 关系 R美元$ 在集合之间 美元$ 和套装 十亿美元$ 是笛卡尔积的任意子集, $R\子结构A\次结构B$ .
它混淆了这样一个事实,即源集和目标集的数据是重要的,并且本身也是定义的一部分。 例如,如果您定义了 功能 作为满足功能属性的关系(在上述定义的意义上)( A\中的所有x\都存在$\! y\在B中:(x,y)\在R中$ )那么,密码子的概念将不会得到很好的定义(或没有明确的定义),人们可能会认为 $x\mapsto x ^2$ 作为函数 $\mathbb R\to[0,+\infty)$ 实际上等于 $x\mapsto x ^2$ 作为函数 $\mathbb R\to\mathbbR$ . 它允许您定义, 鉴于 美元$ 和 十亿美元$ (按顺序),集合 $\mathsf{Rel}(A,B)$ 之间的关系 美元$ 和 十亿美元$ ,但不是(立即) 全部的 关系(或给定宇宙中所有关系的集合 美元$ ). 它不太清楚应该有一个 类别 $\mathsf{Rel}$ ,集的关系为态射,其中 $\mathsf{Rel}(A,B)$ 是豪姆赛特。
“权利”定义: 关系是三元组 $(A、B、R)$ 哪里 美元$ , 十亿美元$ 是集和 $R\子结构A\次结构B$ .
-
1 -
2 $\开始组$ Hausdorff空间是每个网络(或过滤器)最多收敛到一个点的空间。 当我们把这些放在一起时,一个紧凑的Hausdorff空间是一个空间,其中每个网络(过滤器)在某个点累积,最多收敛到一个点。 $\端组$ 评论 2012年12月18日2:45 -
1 $\开始组$ 定义仿紧性有很多非平凡的方法。 因此,一本好的拓扑学教科书应该证明仿紧性的一些特征。 也许最直观的是仿紧空间是一个$T_{1}$-空间,其中每个开放覆盖都有一个开放重心求精。 因此,这个特征表示仿紧空间正是所有开覆盖集合产生一致性的空间。 此外,这种一致性是超完整的。 事实上,空间是仿紧的,只要它具有相容的超完备一致性。 $\端组$ 评论 2013年1月17日22时28分 -
2 $\开始组$ 对于拓扑的呈现方式,我总是这么想。 这里有一个简单的例子来帮助激发这样的想法,即通常对集合上拓扑的严格定义捕获了可伸缩和可弯曲空间连接在一起的方式:一方面,可以说集合$[0,1)$的开放子集是它与$\mathbb R$的开放子集与通常拓扑的交集; 另一方面,如果包含$0$的集合包含$[0,\varepsilon)\cup(1-\varepsilon,1)$形式的子集,则可以将其视为打开的。然后是$\,\ldots$ $\端组$ – 迈克尔·哈迪 评论 2016年3月9日21:43 -
2 $\开始组$ $\ldots\,$one有两种不同的拓扑,而第二种是将间隔两端粘合在一起的。 这应该让学生相信,流形连接在一起的方式是一个关于哪些集合是开放的问题$ \qquad(平方米)$ $\端组$ – 迈克尔·哈迪 评论 2016年3月9日21:44
-
12 -
26 $\开始组$ “函数$f$是连续的,当且仅当定义域$f$中的所有收敛序列的$lim_nf(x_n)=f(lim_n x-n)$”。 这是直观的(一旦理解了序列的收敛性),便于证明,通用的(对度量空间保持不变)。 $\端组$ – 约翰内斯·埃伯特 评论 2010年10月23日21:16 -
7 -
11 -
$\开始组$ 依我看,即使对于$f:A\subset\mathbb{R}\to\mathbb2{R}$,通过极限的连续性定义也不是很令人满意。 你必须引入累加点和删除邻域的概念,你必须讨论极限的唯一性,你已经分别处理了孤立点。 与“对于$f(x)$的任何nbd$V$,都有$x$s的nbd$U$。那个$f(U)\子集V$”这句话相比,这真是一团糟 $\端组$ – 彼得罗·马杰 评论 2020年12月9日22时42分
-
1 $\开始组$ 你对“支持”的定义是通常的吗? 如果没有进一步的上下文,我不知道这个词是什么意思,因为我希望函数的支持是其域的子集,而不是其共域的子集; 但是,如果我不得不猜测的话,我可能会猜测它是由带有积极测量预图像的元素组成的,而不是由我认为是你的定义给出的(每个邻里都有一个积极测量的预图像)。 $\端组$ – LSpice公司 评论 2018年8月19日18:24 -
$\开始组$ @LSpice:拓扑空间的Borel子集集上的测度的支持是其每个开邻域被指定为正测度的所有点的集合$ \qquad(平方米)$ $\端组$ – 迈克尔·哈迪 评论 2018年8月19日18:44 -
-
$\开始组$ 您似乎在谈论对随机变量$X$的支持(作为$\mathbb R$的子集),这是一个其余域(大概)为$\mat血红蛋白R$的函数。 $\端组$ – LSpice公司 评论 2018年8月19日19:59 -
1 $\开始组$ @LSpice:几年后看着这个,我想知道我是否能更清楚地表达这一点。 以下是两个不同的东西:(1)随机变量; (2) 随机变量的概率分布。 不同的随机变量,甚至可能在概率上相互独立,可以具有相同的概率分布,即(1)的不同实例可以映射到(2)的相同实例。 我在定义 支持 属于(2),而不是属于(1)$ \qquad(平方米)$ $\端组$ – 迈克尔·哈迪 评论 2023年8月1日0:51
-
2 -
$\开始组$ @LSpice:考虑一下如果通过拉出$1$s来进一步扩展关系图会发生什么情况:$$\begin{array}{cccccccc} &&&&60\\&&&&\swarrow&&\searrow\\&&4&&&15 \\&\swarrow&\downarrow&&\searrow&&&2&&3&&&5\\&&&&&&\swarrow&&\searrow\\&&&&&&5&&&1 \end{array}$$您无法从任何其他数字中区分您正在使用的数字。 换句话说,数字$1$不能像素数和复合数那样在这类事情中发挥作用。$\qquad$ $\端组$ – 迈克尔·哈迪 评论 2018年1月18日17:10 -
$\开始组$ @LSpice:关键是这回答了一个天真的问题:“为什么$1$不被视为质数?”为什么$1$扮演的角色与质数或合成数不同$ \qquad(平方米)$ $\端组$ – 迈克尔·哈迪 评论 2018年1月18日17:12 -
三 $\开始组$ 我没有从这两张图中了解到为什么现有的定义不好,但我可能不是第一次学习者最清楚的判断者,所以这可能是不相关的。 定义应该是什么? $\端组$ – LSpice公司 评论 2018年1月18日21:01 -
$\开始组$ @LSpice:对于初学者来说,我还没有决定用什么样的最佳形式来定义。 也许我会在上面附加一条评论,解释为什么数字$1$应该被区别对待。 $\端组$ – 迈克尔·哈迪 评论 2018年1月19日0:57