ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

連続体仮説

索引 連続体仮説

連続体仮説(れんぞくたいかせつ、Continuum Hypothesis, CH)とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。現在の数学で用いられる標準的な枠組みのもとでは「連続体仮説は証明も反証もできない命題である」ということが明確に証明されている。.

39 関係: 可算集合坂井秀寿実数強制法ポール・コーエン (数学者)ルーディ・ラッカーヒュー・ウッディンヒルベルトの23の問題フィールズ賞ダフィット・ヒルベルト命題アレフ数カントールの対角線論法クルト・ゲーデルゲオルク・カントールサハロン・シェラハ冪集合全単射公理公理的集合論共終数選択公理順序数近藤基吉近藤洋逸自然数集合連続体連続体濃度東京図書構成可能集合濃度 (数学)数学数学上の未解決問題1900年1940年1963年19世紀

可算集合

可算集合(かさんしゅうごう、countable set 又は denumerable set)もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.

新しい!!: 連続体仮説と可算集合 · 続きを見る »

坂井秀寿

坂井秀寿(さかい ひでひさ、1934年-1994年1月16日)は、日本の哲学研究者。 東京都出身。日比谷高校卒、1957年東京大学文学部哲学科卒、同大学院修士課程修了、東海大学助教授、東京都立大学助教授、1978年東大教養学部助教授。88年退職。.

新しい!!: 連続体仮説と坂井秀寿 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: 連続体仮説と実数 · 続きを見る »

強制法

数学の集合論における強制法(きょうせいほう、Forcing)とは、ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。.

新しい!!: 連続体仮説と強制法 · 続きを見る »

ポール・コーエン (数学者)

ポール・コーエン (Paul Joseph Cohen, 1934年4月2日 - 2007年3月23日)はアメリカ合衆国の数学者。 スタンフォード大学教授。専門は集合論、調和解析、偏微分方程式。.

新しい!!: 連続体仮説とポール・コーエン (数学者) · 続きを見る »

ルーディ・ラッカー

ルーディ・ラッカー ルーディ・ラッカー(Rudy Rucker, 1946年3月22日 - )は、アメリカ合衆国の小説家、SF作家、数学者、情報科学者。本名ルドルフ・フォン・ビター・ラッカー(Rudolf von Bitter Rucker)。ルディー・ラッカーとも。 サイバーパンクSF、ユーモアSF、ハードSF、数学SFを得意とする特異な作家。最新の数学理論、物理理論を作品の核とするが、それをポップに具現化する作風が特徴。また、作品と似たようなテーマを題材とした、科学解説書も多数執筆している。 哲学者のヘーゲルの5世孫にあたる。.

新しい!!: 連続体仮説とルーディ・ラッカー · 続きを見る »

ヒュー・ウッディン

ヒュー・ウッディン、1994年(photo by George Bergman) ウィリアム・ヒュー・ウッディン (William Hugh Woodin、1955年4月23日 - )はアリゾナ州トゥーソン出身の、ハーバード大学に所属する集合論学者。内部モデルや決定性の理論などで多くの顕著な業績を挙げている。巨大基数の一種であるウッディン基数は彼の名に因む。.

新しい!!: 連続体仮説とヒュー・ウッディン · 続きを見る »

ヒルベルトの23の問題

ヒルベルトの23の問題(ヒルベルトの23のもんだい、)は、ドイツ人の数学者であるダフィット・ヒルベルトによりまとめられた、当時未解決だった23の数学問題である。ヒルベルト問題 とも呼ばれる。 1900年8月8日に、パリで開催されていた第2回国際数学者会議 (ICM) のヒルベルトの公演で、23題の内10題(問題1, 2, 6, 7, 8, 13, 16, 19, 21, 22)が公表され、残りは後に出版されたヒルベルトの著作で発表された。.

新しい!!: 連続体仮説とヒルベルトの23の問題 · 続きを見る »

フィールズ賞

フィールズ賞(フィールズしょう)は、若い数学者のすぐれた業績を顕彰し、その後の研究を励ますことを目的に、カナダ人数学者ジョン・チャールズ・フィールズ (John Charles Fields, 1863–1932) の提唱によって1936年に作られた賞のことである。.

新しい!!: 連続体仮説とフィールズ賞 · 続きを見る »

ダフィット・ヒルベルト

ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.

新しい!!: 連続体仮説とダフィット・ヒルベルト · 続きを見る »

命題

命題(めいだい、proposition)とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.

新しい!!: 連続体仮説と命題 · 続きを見る »

アレフ数

数学を基礎付ける集合論において、アレフ数(アレフすう、aleph number)は無限集合の濃度(あるいは大きさ)を表現するために使われる数の列である。それらはそれらを表記するのに使われる文字、ヘブライ文字のアレフ にちなんで名づけられている。 自然数全体の集合の濃度はアレフ・ノート (; アレフ・ヌル (aleph-null) あるいはアレフ・ゼロ (aleph-zero) とも)であり、次に大きい濃度がアレフ・ワン, 次はアレフ・ツー と以下同様に続く。このように続けて、すべての順序数 に対して以下に述べられるように一般のアレフ数となる濃度 を定義することができる。 概念はゲオルク・カントールまでさかのぼる。彼は濃度の概念を定義し無限集合には異なる濃度があることに気付いた。 アレフ数は代数学や微積分でよく見る無限大 (∞) とは異なる。アレフ数は集合の大きさを測るものだが、一方無限大は一般に(関数や数列が「無限大に発散する」とか「限りなく増大する」という形で現れる)実数直線上の非有限極限、あるいは拡張実数直線の極点として定義される。.

新しい!!: 連続体仮説とアレフ数 · 続きを見る »

カントールの対角線論法

ントールの対角線論法(カントールのたいかくせんろんぽう)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カントールによって非可算濃度を持つ集合の存在を示した論文の中で用いられたのが最初だとされている。 その後対角線論法は、数学基礎論や計算機科学において写像やアルゴリズム等が存在しない事を示す為の代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。.

新しい!!: 連続体仮説とカントールの対角線論法 · 続きを見る »

クルト・ゲーデル

ルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.

新しい!!: 連続体仮説とクルト・ゲーデル · 続きを見る »

ゲオルク・カントール

ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール(Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日)は、ドイツで活躍した数学者。.

新しい!!: 連続体仮説とゲオルク・カントール · 続きを見る »

サハロン・シェラハ

ハロン・シェラハ(ヘブライ語名:、英語名:Saharon Shelah, 1945年7月3日 - )は、イスラエルの数学者、論理学者。エルサレム出身。日本では「シェラー」あるいは「シェラーハ」と表記されることもある。 専門は数理論理学、とくにモデル論および公理的集合論。その他にブール代数や実関数論、集合論的位相空間論に関する仕事もある。.

新しい!!: 連続体仮説とサハロン・シェラハ · 続きを見る »

冪集合

冪集合(べきしゅうごう、power set)とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪(べき)と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ(冪集合公理)としてしばしば提示する。.

新しい!!: 連続体仮説と冪集合 · 続きを見る »

全単射

数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.

新しい!!: 連続体仮説と全単射 · 続きを見る »

公理

公理(こうり、axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.

新しい!!: 連続体仮説と公理 · 続きを見る »

公理的集合論

公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。.

新しい!!: 連続体仮説と公理的集合論 · 続きを見る »

共終数

極限順序数\alphaの共終数(きょうしゅうすう、cofinality)とは、 \betaから\alphaへの写像で その値域が\alphaの中で非有界になっているようなものが存在するような 最小の\betaのことを言う。 ここで、\alphaの部分集合Xが非有界であるとは、 全ての\gammaに対して、それよりも大きい Xの元が存在することをいう。 また、順序数をそれより小さい順序数全体の集合として定義する公理的集合論の 慣習も採用した。 \alphaの共終数はよく\mbox(\alpha) と記される。 共終数は順序数の性質として非常に重要なものであり、その他の性質に 大きく影響している。また下記の正則基数と特異基数の違いは顕著である。.

新しい!!: 連続体仮説と共終数 · 続きを見る »

真、眞(しん、まこと).

新しい!!: 連続体仮説と真 · 続きを見る »

選択公理

選択公理(せんたくこうり、、選出公理ともいう)とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合(すなわち、集合の集合)があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。.

新しい!!: 連続体仮説と選択公理 · 続きを見る »

順序数

数学でいう順序数(じゅんじょすう、ordinal number)とは、整列集合同士の"長さ"を比較するために、自然数を拡張させた概念である。.

新しい!!: 連続体仮説と順序数 · 続きを見る »

近藤基吉

近藤基吉(こんどう もときち、1906年-1980年12月14日)は、日本の数学者。東京都立大学・東海大学名誉教授。.

新しい!!: 連続体仮説と近藤基吉 · 続きを見る »

近藤洋逸

近藤 洋逸(こんどう よういつ、1911年(明治44年) - 1979年(昭和54年))は日本の数学史家、科学思想史家。1946年(昭和21年)にゲーデルの赤い本を翻訳して出版した。.

新しい!!: 連続体仮説と近藤洋逸 · 続きを見る »

自然数

自然数(しぜんすう、natural number)とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる(詳しくは自然数の歴史と零の地位の節を参照)。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数(例えば 3 や 18)を指して自然数ということもある。.

新しい!!: 連続体仮説と自然数 · 続きを見る »

集合

数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系(「相互に連立する」方程式の集合)、集合族(「一定の規則に基づく」集合の集合)、加法族(「加法的な性質を持つ」集合族)など。.

新しい!!: 連続体仮説と集合 · 続きを見る »

連続体

連続体(れんぞくたい、continuum ).

新しい!!: 連続体仮説と連続体 · 続きを見る »

連続体濃度

集合論における連続体濃度(れんぞくたいのうど、cardinality of the continuum)とは、実数全体の成す集合 R の濃度(あるいは基数、集合の「大きさ」の尺度)のことである。連続体濃度を持った集合を連続体 (continuum) と呼ぶこともある。これは無限濃度のひとつであり、|R|, 2ℵ0(ℵはヘブライ文字のアレフ), または \mathfrak c(ドイツ文字小文字の c)などの記号で表される。.

新しい!!: 連続体仮説と連続体濃度 · 続きを見る »

東京図書

東京図書(とうきょうとしょ).

新しい!!: 連続体仮説と東京図書 · 続きを見る »

構成可能集合

ーデルの構成可能集合(こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe)とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。 ゲーデルは、構成可能集合からなるクラス(通常 L と記される)が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、L が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。 L はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。.

新しい!!: 連続体仮説と構成可能集合 · 続きを見る »

濃度 (数学)

数学、とくに集合論において、濃度(のうど)あるいは基数(きすう)(cardinal number, cardinality, power)とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.

新しい!!: 連続体仮説と濃度 (数学) · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: 連続体仮説と数学 · 続きを見る »

数学上の未解決問題

数学上の未解決問題(すうがくじょうのみかいけつもんだい)とは未だ解決されていない数学上の問題のことである。 未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学・技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家達が証明を試みてきたような有名な命題を列挙する。.

新しい!!: 連続体仮説と数学上の未解決問題 · 続きを見る »

1900年

19世紀最後の年である。100で割り切れるが400では割り切れない年であるため、閏年ではなく、4で割り切れる平年となる。.

新しい!!: 連続体仮説と1900年 · 続きを見る »

1940年

記載なし。

新しい!!: 連続体仮説と1940年 · 続きを見る »

1963年

記載なし。

新しい!!: 連続体仮説と1963年 · 続きを見る »

19世紀

19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.

新しい!!: 連続体仮説と19世紀 · 続きを見る »

ここにリダイレクトされます:

一般連続体仮説

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »