列举法 (集合论)

✍ dations ◷ 2025-06-16 17:34:12 #列举法 (集合论)

列举法是集合论(或者类的理论)中表示集合(或类)的一种方法。

如果已知集合(或类)的每一个元素,而且元素个数“相当有限”,我们可以通过“列举”其所有元素的方法来表示这个,如:{1,2,3}、{a}、{A,B,C,D,E}等。一对花括号“{ }”是集合(或类)表示法的特征符号。

如果集合(或类)的元素有“很多”甚至“无限多”以至于很难或无法将其所有元素一一列出,但其元素又具有很明显的“规律”,可以用“…”略过规律性比较明显的大量元素,如用{1,2,…,100}表示其元素为从1到100的所有自然数、{A,B,…,Z}表示所有的大写英文字母、{3,4,5,…}表示从3开始的所有自然数,等等。

列举法的实质是给出了集合(或类)的外延,因此又称为外延法。如果在列举法中列出了集合(或类)的所有元素,此时称为完全列举法,否则就称为部分列举法。


相关

  • 猫王物种猫王物种(Elvis taxon),意为古生物学上人们认为已经灭绝的某个物种,但却在某个地方被发现疑似其残存的后代;只是经过鉴定之后发现那其实不是灭绝物种的残留,而是另外一个仅仅外貌
  • 约翰·帕克 (上尉)约翰·帕克(John Parker,1729年7月13日-1775年9月17日)是一名英国农夫、技工和士兵,在1775年4月19日的列克星敦和康科德战役中担任列克星敦民兵指挥官。
  • 枕头战枕头战是一种利用枕头来进行打闹的游戏,较常见于幼小的孩童。因为枕头是软的缘故,所以极少发生受伤的情形,但枕头重击仍能将年轻人打到失去平衡,尤其是当站在不稳的表面,例如柔软
  • 地下世界《地下世界》(英语:,上映时又名)是一部1927年无声犯罪电影,由约瑟夫·冯·史坦伯格(英语:Josef von Sternberg)执导。
  • 克里申吉克里申·吉 (Krishen Jit,1939年07月10日-2005年4月28日),马来西亚剧场导演(英语:Theatre director)、戏剧评论(英语:Theatre criticism)作者、历史学者。他数十年来活跃于马来西亚英语
  • 吴以幻吴以幻(?-17世纪),思南府铜仁县人,南明军事人物。吴以幻是太仆少卿何栋如的家将,勇气和力量过人;南京失陷,他和何栋如的孙子何以培隐居在三山;清朝朝廷用檄文征召何以培,他侦察到此事,在
  • 基尔夏达赫峰坐标:47°04′04″N 11°20′33″E / 47.067861°N 11.342444°E / 47.067861; 11.342444基尔夏达赫峰(意大利语:Kirchdach),是意大利的山峰,位于该国西部,由蒂罗尔州负责管辖,属于
  • 拉巴尔·荷西·保迪拉巴尔·荷西·保迪·加利亚·施拿(Raphael Jose Botti Zacarías Sena)一般称作保迪,1981年2月23日生于巴西,巴西职业足球运动员,现效力于日本职业足球联赛球会神户胜利船队。保
  • 张国城张国城(1971年-),泛绿国际政治学者,毕业于台大政治系、会计系双主修学士、台大国发所硕士、美国芝加哥大学国际关系双硕士、澳洲新南威尔士大学社会科学与国际关系博士,1998年会计师高考及格,现任北医通识中心教授、台湾智库咨询委员,曾任立法委员林浊水国会助理、国防部副部长陈必照机要秘书、高雄市政府简任顾问,在美国求学期间,师从约翰·米尔斯海默。
  • 哈剌察汗哈剌察汗(?-1220年),又作哈只卜哈剌察汗,中亚花剌子模将领。1219年,讹答剌城(奥特拉尔,位于哈萨克斯坦奇姆肯特市阿雷思河和锡尔河交汇处)守将海儿汗杀死通商的蒙古使者,引发了蒙古帝国的西征。花剌子模国王阿拉乌丁·摩诃末派哈剌察汗前去援救讹答剌城。1220年,蒙古人围攻讹答剌城五个月,哈剌察汗建议向蒙古投降。海儿汗以为自己得罪了蒙古,表示要继续战斗。哈剌察汗为了保命,率军逃离讹答剌城。途中被蒙古人擒获,交给了察合台、窝阔台。哈剌察汗把讹答剌城的情报和盘托出,想要得以免死。结果察合台、窝阔台以他对主不