证明:可数个不交的非空有限集之并是可数集 有限集是不是可数集?为什么?
\u5982\u4f55\u8bc1\u660e\u53ef\u6570\u4e2a\u6709\u9650\u96c6\u5408\u7684\u5e76\u81f3\u591a\u662f\u53ef\u6570\u96c6A1={a11,a12,...a1k1}
A2={a21,a22,...a2k2}
.............................
An={an1,an2,...ankn}
.................................
\u90a3\u4e48\u5e76\u96c6A\u7684\u5143\u7d20\u53ef\u6392\u5217\u6210\uff1a
a11,a12,...a1k1\uff0ca21,a22,...a2k2\uff0c...an1,an2,...ankn,.........
\u5982\u679cA\u7684\u96c6\u5408\u5143\u7d20\u65e0\u9650\uff0cA\u662f\u53ef\u6570\u96c6
\u5982\u679cA\u7684\u96c6\u5408\u5143\u7d20\u6709\u9650\uff0cA\u662f\u6709\u9650\u96c6
\u6545A\u5e76\u96c6\u662f\u81f3\u591a\u662f\u53ef\u6570\u96c6
\u6709\u9650\u96c6\u4e0d\u662f\u53ef\u6570\u96c6.\u4ee4N\u662f\u6b63\u6574\u6570\u7684\u5168\u4f53,\u4e14N\uff1d{1,2,3,\u2026\u2026,n},\u5982\u679c\u5b58\u5728\u4e00\u4e2a\u6b63\u6574\u6570n,\u90a3\u4e48N\u53eb\u505a\u6709\u9650\u96c6\u5408.\u4f46\u662f\u4f60\u6570\u5f97\u6e05\u96c6\u5408\u91cc\u9762\u6709\u591a\u5c11\u4e2a\u5143\u7d20\u5417,\u5f53\u7136\u4e0d\u80fd\u54af.\u7a7a\u96c6\u4e5f\u88ab\u8ba4\u4e3a\u662f\u6709\u9650\u96c6\u5408.\u4f46\u662f\u7a7a\u96c6\u91cc\u9762\u6478\u6709\u5143\u7d20.\u8bbeA\u662f\u6709\u9650\u96c6,B\u662f\u53ef\u6570\u96c6,\u4e3a\u4ec0\u4e48A\u548cB\u7684\u7b1b\u5361\u5c14\u79ef\u96c6\u662f\u65e0\u9650\u96c6\u554a?\u5bf9\u4e8e\u8fd9\u4e2a\u95ee\u9898,\u4f60\u9996\u5148\u60f3\u60f3A\u548cB\u7684\u7b1b\u5361\u5c14\u79ef\u96c6\u662f\u4ec0\u4e48,\u5bf9\u4e86,\u5c31\u662fA\u00d7B,\u4e5f\u5c31\u662f\u4eceA\u91cc\u62ff\u4e00\u4e2a\u5143\u7d20x,\u7136\u540e\u518d\u5230B\u91cc\u62ff\u4e00\u4e2a\u5143\u7d20y,\u7136\u540e\u5c31\u77e5\u9053\u4e86\uff08x,y\uff09\u5c5e\u4e8eA\u00d7B\u54af.\u5c31\u50cf\u521a\u521a\u6211\u6240\u8bf4\u7684A\u662f\u6709\u9650\u96c6,\u4f46\u662f\u5b83\u4e0d\u53ef\u6570.\u6240\u4ee5A\u00d7B\u5c31\u4e5f\u4e0d\u53ef\u6570\u4e86\u54af,\u7136\u540e\u4e5f\u5c31\u6709\u65e0\u9650\u949f\u6392\u5217\u7ec4\u5408\u4e86.\u6240\u4ee5\u5b83\u662f\u65e0\u9650\u96c6.
证明:设E是Rⁿ的子集, 其导集E'为可数集,对任意x∈E, 存在x的开邻域B(x,δ(x)), 使其中没有其它E中的点(否则x∈E', 矛盾)。
以下证明题的相关介绍:
在数学上,证明是在一个特定的公理系统中,根据一定的规则或标准,由公理和定理推导出某些命题的过程。
证明论(Prooftheory)是研究数学证明的数学理论,它是数理逻辑的分支学科。它将数学证明表达为形式化的数学客体,从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达,例如链表,盒链表,或者树,它们根据逻辑系统的公理和推理规则构造。
因此,证明论本质上是语法逻辑,和本质上是语义学的模型论形相反。和模型论,公理化集合论,以及递归论一起,证明论被称为数学基础的四大支柱之一。
以上资料参考百度百科——证明题
设E是Rⁿ的子集, 其导集E'为可数集. 考虑差集E\E'(即在E中而不在E'中的元素全体). 对任意x∈E\E', 存在x的开邻域B(x,δ(x)), 使其中没有其它E中的点(否则x∈E', 矛盾). 于是对任意x, y∈E\E', x ≠ y, 有|x-y| > δ(x), |x-y| > δ(y), |x-y| > (δ。
绛旓細璇佹槑锛氳E鏄疪ⁿ鐨勫瓙闆, 鍏跺闆咵'涓哄彲鏁伴泦锛屽浠绘剰x鈭圗锛 瀛樺湪x鐨勫紑閭诲煙B(x,未(x)), 浣垮叾涓病鏈夊叾瀹僂涓殑鐐(鍚﹀垯x鈭圗', 鐭涚浘)銆備互涓嬭瘉鏄庨鐨勭浉鍏充粙缁嶏細鍦ㄦ暟瀛︿笂锛岃瘉鏄庢槸鍦ㄤ竴涓壒瀹氱殑鍏悊绯荤粺涓紝鏍规嵁涓瀹氱殑瑙勫垯鎴栨爣鍑嗭紝鐢卞叕鐞嗗拰瀹氱悊鎺ㄥ鍑烘煇浜涘懡棰樼殑杩囩▼銆傝瘉鏄庤锛圥rooftheory锛夋槸鐮旂┒...
绛旓細璁続={1,2,鈥︹︼紝m},B={1,2,鈥︹︼紝n},鍒 绗涘崱灏旂НA✘B={(x,y)|x鈭圓,y鈭圔},鏈塵n涓厓绱犮
绛旓細杩涘叆鏃犻檺涓栫晫锛屾垜浠尯鍒嗕簡鍙暟闆涓庨潪鍙暟闆嗐備竴涓泦鍚堣嫢鑳戒笌鑷劧鏁颁竴涓瀵瑰簲锛屾垜浠О涔嬩负鍙暟闆嗭紝鍙嶄箣鍒欐槸鏃犻檺闆嗐傚湪鎺㈢储杩欎簺闆嗗悎鐨勬ц川鏃讹紝鎴戜滑璇佹槑浜鏈夐檺闆涓庡瓙闆嗗拰鐪熷瓙闆嗙殑鍏崇郴锛屼互鍙婅憲鍚嶇殑瀹规枼鍘熺悊瀹氱悊2锛屾彮绀轰簡瀹冧滑涔嬮棿寰鐨勬暟瀛﹁仈绯汇傚懡棰5锛氬綋鏈夐檺闆咥闈炵┖锛岃浣淎鐨勫厓绱犱釜鏁颁负A'銆傝繖涓烘垜浠悊瑙...
绛旓細闈炵┖闆舵祴闆嗕笉涓瀹氭槸鏈夐檺闆鎴栧彲鏁版棤绌烽泦銆傞潪绌洪浂娴嬮泦鍙互鏄湁闄愰泦銆佸彲鏁版棤绌烽泦锛屼篃鍙互鏄笉鍙暟闆嗗悎銆備竴涓浂娴嬮泦鏄寚鍏舵祴搴︿负0鐨勯泦鍚堛傚浜庢湁闄愰泦鍜屽彲鏁版棤绌烽泦锛屽畠浠殑娴嬪害閮藉彲浠ヨ〃绀轰负涓涓湁闄愭垨鍙暟鐨鍜岋紝鍥犳瀹冧滑鐨勬祴搴︿负0銆傚洜姝わ紝鏈夐檺闆嗗拰鍙暟鏃犵┓闆嗛兘鏄浂娴嬮泦銆備絾鏄紝涓嶅彲鏁伴泦鍚堜篃鍙互鏄浂娴嬮泦...
绛旓細涓嶆槸鏈夐檺闆鐨勯泦鍚堬紱鍙笌鍏剁湡瀛愰泦瀵圭瓑鐨勯潪绌闆嗗悎锛涙棦涓嶆槸绌洪泦锛屽張涓嶄笌Mn={1锛2锛屸︼紝n}锛宯鈭圢瀵圭瓑鐨勯泦鍚堛傚娍鏈灏忕殑鏃犻檺闆嗕负鍙暟闆嗭紝鍗充笌鑷劧鏁伴泦N瀵圭瓑鐨勬棤闄愰泦锛屽彲浠璇佹槑锛鏃犻檺闆嗗繀鍚湁鍙暟瀛愰泦锛涙棤闄愰泦鍑忓幓涓鏈夐檺瀛愰泦浠嶄负鏃犻檺闆嗭紱浠讳竴鏃犻檺闆嗕笌涓鍙暟闆嗕箣骞朵笌璇ユ棤闄愰泦闂村瓨鍦ㄥ弻灏勩
绛旓細鍏跺璞′竴鑸槸鏈夐檺涓垨鍙暟涓鍏冪礌銆傜鏁f暟瀛﹀湪鍚勫绉戦鍩燂紝鐗瑰埆鍦ㄨ绠楁満绉戝涓庢妧鏈鍩熸湁鐫骞挎硾鐨勫簲鐢紝鍚屾椂绂绘暎鏁板涔熸槸璁$畻鏈轰笓涓氱殑涓撲笟璇剧▼锛屽绋嬪簭璁捐璇█銆佹暟鎹粨鏋勩佹搷浣滅郴缁熴佺紪璇戞妧鏈佷汉宸ユ櫤鑳姐佹暟鎹簱銆佺畻娉曡璁′笌鍒嗘瀽銆佺悊璁鸿绠楁満绉戝鍩虹绛夊繀涓嶅彲灏戠殑鍏堣璇剧▼銆
绛旓細鍋囧畾浣犺繖閲岀殑u鍜宯鏄寚骞堕泦杩愮畻鈭拰浜ら泦杩愮畻鈭 濡傛灉骞堕泦杩愮畻鐨勫崟浣嶅厓鏄痚, 閭d箞x鈭猠=x瀵箂鐨勬墍鏈夊瓙闆唜閮芥垚绔, e鍙兘鏄绌洪泦, 鐒跺悗楠岃瘉瀹冪‘瀹炴槸鍗曚綅鍏 鍚屾牱鍙互寰楀埌浜ら泦杩愮畻鐨勫崟浣嶅厓鏄痵
绛旓細瀹氫箟锛氳 [鍏紡] 鏄 [鍏紡] 鐨勬墿鍩燂紝鑻 [鍏紡] 涓瘡涓涓厓閮芥槸 [鍏紡] 涓婄殑浠f暟鍏冿紝鍒欑О [鍏紡] 鏄 [鍏紡] 鐨勪唬鏁版墿鍩熸垨浠f暟鎵╁紶锛屼笉鐒跺氨绉癧鍏紡] 鏄 [鍏紡] 鐨勮秴瓒婃墿鍩熸垨瓒呰秺鎵╁紶銆備粠绾挎х┖闂寸殑鐞嗚鏉ヨ冨療鍩熺殑鎵╁紶 瀹氫箟锛堢嚎鎬х┖闂达級锛氳 [鍏紡] 涓轰竴闈炵┖闆嗗悎锛 [鍏紡] 涓烘暟鍩燂紙...
绛旓細鍥犱负鑻ヤ笉鍙垪锛屽垯瀵规瘡x锛岄兘瀛樺湪涓涓猟锛屼娇寰(x,x+d)涓嶢涓嶄氦锛岃繖閲屽彲浠ュ皢d鍙栧緱姣旇緝灏忥紝浣縳+d<1 閭d箞杩欎笉鍙垪涓暱搴︿负d鐨勫尯闂存樉鐒朵簰涓嶇浉浜わ紙鍥犱负闈犲墠鐨勫尯闂翠笉鍙兘鍖呭惈x锛夎屼笖涓嶅彲鍒椾釜鍔犺捣鏉ラ暱搴︿笉鍙兘鏈夐檺 鎵浠ヨ嚦澶氬彲鍒 閭d箞鍚岀悊鐨勫彇杩欐牱鏈夐檺闀跨殑鍖洪棿娈碉紝鍙互鍙栧彲鍒椾釜瑕嗙洊R 閭d箞鍙垪涓彲鍒...
绛旓細闆嗗悎涓鐨勯潪绌瀛愰泦鏁板彲浠ラ氳繃璁$畻璇ラ泦鍚堢殑骞傞泦锛坧ower set锛夌殑澶у皬鍑忓幓1鏉ュ緱鍒般傚箓闆嗘槸鎸囦竴涓泦鍚堢殑鎵鏈夊瓙闆嗘瀯鎴愮殑闆嗗悎锛屽寘鎷┖闆嗗拰闆嗗悎鏈韩銆傚浜庝竴涓鏈夐檺闆嗗悎锛屽叾骞傞泦鐨勫ぇ灏忔槸2鐨勯泦鍚堝厓绱犱釜鏁版骞傘傚亣璁炬湁涓涓泦鍚圓锛屽畠鏈塶涓笉鍚岀殑鍏冪礌銆傞偅涔堬紝闆嗗悎A鐨勫箓闆嗗皢鍖呭惈2^n涓瓙闆嗭紝鍥犱负姣忎釜鍏冪礌閮芥湁涓ょ...