정의 가능한 수실수 a가 집합론의 언어로 매개변수 없이 1차 정의 가능하다는 것은 집합론의 언어로 표현된 1변수 논리식 φ가 존재하여, 폰 노이만 우주 V에서 이를 만족하는 실수가 a 뿐인 경우를 말한다. 이 글에서는 이를 짧게 줄여 정의 가능한 수라 하겠다. 이는 편의를 위한 것일 뿐, 일반적으로 쓰이는 용어와는 다를 수 있다. 위의 정의는 집합론의 언어를 통해 표현할 수 없다는 것에 주의할 것. 성질정의 가능한 수들의 집합은 체를 이루며, 0, 1, π, e를 비롯해 수학 상수 글에 언급되는 모든 실수를 포함하고 있다. 또한 이 집합은 모든 유리수는 물론 모든 대수적 수를 포함하고 있으나, 모든 논리식의 집합이 가산집합이므로 모든 정의가능한 수의 집합도 가산집합이고, 따라서 대부분의 실수는 정의 불가능하다. (여기에서 "대부분"은 "대부분의 실수는 무리수이다"라고 할 때와 같은 의미이다. 대각선 논법을 참고할 것.) 정의 가능한 수들의 체는 완비가 아니다. 모든 실수는 유리수열의 극한이므로, 정의 불가능한 수로 수렴하는 정의 가능한 수들의 열이 존재하기 때문이다. 그러나 수열 자체가 (여기에 포함된 모든 열들을 하나의 논리식으로 정의할 수 있다는 의미에서) 정의 가능할 경우, 이 수열의 극한은 언제나 정의 가능한 수가 된다. 모든 계산 가능한 수는 정의 가능하지만, 그 역은 성립하지 않는다. 0#를 비롯해, 정의 가능하지만 계산 불가능한 수가 여럿 알려져 있기 때문이다. 같이 보기 |
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
