定义良好
(重定向自良定)
在数学裡,术语定义良好(定义良好的 well-defined,名词 well-definition)用于确认用一组基本公理以数学或逻辑的方式定义的某个概念或对象(一个函数,性质,关系,等等)是完全无歧义的,满足它必需满足的那些性质。通常定义是无歧义地表述,明白地满足它们所需的性质。但有时候,使用任意选择的方式来陈述定义是合理的,这时我们便要验证定义与选择无关。另一种情形,所需的性质可能不都是显然的,这时要验证它们。这些问题通常来自函数的定义。
譬如,在群论中,术语“定义良好”经常用于处理陪集时,陪集空间上的函数经常选取一个代表来定义:这时非常重要的是验证无论选取陪集的哪个代表,就像算术运算一样(比如,加总是)我们总得到同样的结果。只要 ,则定义有意义,从而 在 上定义良好。函数在 上有不同定义域,应该视为不同的映射 ,尽管这种差别通常被忽略。以这种观点来看,我们说 是定义良好的如果图表交换,即 穿过 ,使得,这里 是典范投影映射 。
作为一个例子,考虑实数如下定义的等价关系: 如果存在整数 使得,这里 为圆周率。商集 可以和一个圆周等价,作为等价类 表示一个角度(事实上这是 的加法子群 的陪集空间 )。现在如果 是正弦函数,则 是定义良好的;但是如果 则 不是定义良好的。
“定义良好”的另外两个问题发生在定义从一个集合 到集合 的函数时。首先, 需定义在 的所有元素上。譬如,函数 不是从实数到自身定义良好的函数,因为 没有定义。第二,对任何 需有 是 中的元素。譬如,函数 不是从实数到正实数定义良好的函数,因为 不是正数。
一个集合是定义良好的,任何给定的对象要么是、要么不是这个集合的对象。
另见编辑
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄