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

T1空間

索引 T1空間

数学の位相空間論周辺分野における T1-空間(T1-くうかん、T1 space)は、相異なる二点を選べば必ず、その各々の点がもう一方の点を含まない開近傍を持つ位相空間を言う。同じことが位相的に識別可能な二点についてのみ成り立つ場合は R0-空間と言う。条件 T1 および R0 は分離公理の例である。.

33 関係: 偶数ほとんど (数学)同値関係多項式奇数完全不連結空間対称関係一様空間代数多様体位相空間位相空間論ハウスドルフ空間フレシェ空間列型空間分離公理アトラス (多様体)コルモゴロフ空間コンパクト空間ザリスキー位相共通部分 (数学)違いを除いて補有限近傍 (位相空間論)閉包 (位相空間論)閉集合開集合離散空間集合集積点有向点族有限集合数学整数

偶数

偶数(ぐうすう、even number) とは、 を約数に持つ整数、すなわち で割り切れる整数のことをいう。逆に で割り切れない整数のことは、奇数という。 具体的な偶数の例として などが挙げられる。これらはそれぞれ に等しいため、 で割っても余りが生じず、 で割り切ることができる。 より派生して、 で割り切れるが では割り切れない整数を単偶数または半偶数という。これに対して、 で割り切れる整数を複偶数 または全偶数という。 偶数と奇数は、偶数全体、奇数全体をそれぞれ 1 つの元と見て、2 つの元からなる有限体の例を与える。.

新しい!!: T1空間と偶数 · 続きを見る »

ほとんど (数学)

数学において、ほとんど (almost) という語は、ある厳密な意味で用いられる専門用語のひとつである。主に「測度 0 の集合を除いて」という意味であるが、それ単体で用いることはあまりなく、「ほとんど至るところで(almost everywhere)」「ほとんど全ての(almost all)」などの決まり文句でひとつの意味を形成する。.

新しい!!: T1空間とほとんど (数学) · 続きを見る »

同値関係

数学において、同値関係(どうちかんけい、equivalence relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.

新しい!!: T1空間と同値関係 · 続きを見る »

多項式

数学における多項式(たこうしき、poly­nomial)は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元(略式ではしばしば変数と呼ぶ)の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項(こう、)と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数(あるいは必要に応じてより狭く有理数、整数、自然数)を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.

新しい!!: T1空間と多項式 · 続きを見る »

奇数

奇数(きすう、 odd number)とは、2で割り切れない整数のことをいう。一方、2で割り切れる整数のことは、偶数という。−15, −3, 1, 7, 19 などは全て奇数である。 10進法では、一の位が 1, 3, 5, 7, 9 である数は奇数である。2進法では、20 の位(すなわち一の位)が 1 ならば奇数で、0 ならば偶数である。一般に 2n 進法(n は自然数)において、ある数が偶数であるか奇数であるかは、一の位(n0 の位)を見るだけで判別できる。 偶数と奇数は、位数が2の体の例を与える。.

新しい!!: T1空間と奇数 · 続きを見る »

完全不連結空間

位相空間論やそれに関わる分野において、完全不連結空間 (totally disconnected space) は非自明な連結部分集合を持たないという意味で最も不連結な位相空間である。すべての位相空間において空集合と1点集合は連結である。完全不連結空間においてはこれらしか連結部分集合がない。 完全不連結空間の重要な例の1つはカントール集合である。別の例は ''p''-進数体 Qp で、代数的整数論において重要な役割を果たす。.

新しい!!: T1空間と完全不連結空間 · 続きを見る »

対称関係

対称関係(たいしょうかんけい、Symmetric relation)は、数学における二項関係の一種。集合 X における二項関係 R が「対称」であるとは、X に属する全ての a および b について、aRb が成り立つなら bRa も成り立つことをいう。 数学的に記述すると次のようになる。 対称関係と反対称関係(aRb かつ bRa ならば b.

新しい!!: T1空間と対称関係 · 続きを見る »

一様空間

一様空間(いちようくうかん、uniform space)は数学の一分野である位相空間論の概念で、一様連続性、一様収束性、完備性、一様被覆といった性質の定式化が可能になる条件を抽象する事で得られたものである。 一様空間は距離空間と位相空間の中間の強さを持つ概念であり、距離空間は自然に一様空間とみなせ、一様空間は自然に位相空間とみなせる。また擬距離空間や位相群なども一様空間とみなせる。 一様空間は距離空間と位相群を一般化する概念であるので、解析学における議論の多くの基盤を与えるものとなっている。 一様構造と位相構造の概念的な違いは、一様空間においては点の近さや相対的な近さといったようなある種の概念が定式化できるというようなことにある。つまり、「点 x の点 a への近さは、点 y の点 bへの近さよりも近い」といったような考察は一様空間において意味を成すのである。対する一般の位相空間では、部分集合 A, B が与えられれば、「点 x が集合 A にどれほどでも近い(x が A の閉包に属する)」とか「集合 A は集合 B よりも小さい近傍である」といったようなことは言える。しかし点の近さの概念や相対的な近さといったようなものは、位相構造のみでは記述することができない。.

新しい!!: T1空間と一様空間 · 続きを見る »

代数多様体

代数多様体(だいすうたようたい、algebraic variety)は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する(体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照)。.

新しい!!: T1空間と代数多様体 · 続きを見る »

位相空間

数学における位相空間(いそうくうかん, topological space)とは、集合にある種の情報(位相、topology)を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.

新しい!!: T1空間と位相空間 · 続きを見る »

位相空間論

数学における位相空間論(いそうくうかんろん、general topology; 一般位相幾何学)または点集合トポロジー(てんしゅうごうトポロジー、point-set topology; 点集合論的位相幾何)は、位相空間の性質やその上に定義される構造を研究対象とする位相幾何学の一分野である。位相幾何学のほかの分野が多様体などの特定の構造や具体的な構造を前提とすることと異なり、現れる位相空間としては病的なものも含めた極めて広範かつ一般のものを扱い、その一般論を形成するのが位相空間論の主目的である。.

新しい!!: T1空間と位相空間論 · 続きを見る »

ハウスドルフ空間

数学におけるハウスドルフ空間(ハウスドルフくうかん、Hausdorff space)とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列(あるいはより一般に、フィルターやネット)の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。.

新しい!!: T1空間とハウスドルフ空間 · 続きを見る »

フレシェ空間

数学の関数解析学周辺分野におけるフレシェ空間(フレシェくうかん、Fréchet spaces)は、モーリス・フレシェに名を因む、位相空間の一種である。フレシェ空間は(ノルムの導く距離に関して完備なノルム付き線型空間である)バナッハ空間を一般化するもので、平行移動不変距離関数に関して完備な局所凸空間を言う。バナッハ空間との違いは、その距離がノルムから生じるものでなくともよいことである。 フレシェ空間の位相構造は、バナッハ空間のと比べてノルムがない分だけより複雑なものではあるけれども、ハーン・バナッハの定理や開写像定理、バナッハ・シュタインハウスの定理などの関数解析学における重要な結果の多くが、フレシェ空間においてもやはり成り立つ。 無限回微分可能関数の成す空間などは、フレシェ空間の典型例である。.

新しい!!: T1空間とフレシェ空間 · 続きを見る »

列型空間

数学の位相空間論関連分野における列型空間(れつけいくうかん、れつがたくうかん、sequential space; 列状空間、列性空間)とは、開集合と閉集合が点列の収束で特長づけられる位相空間のことである。この空間上で定義された関数の連続性もまた、点列の収束性で特長づけられる。しかし列型空間であっても閉包の概念は点列の収束で特長づけられるとは限らず、これが可能な列型空間をフレシェ・ウリゾーン空間という。 位相空間が列型空間である必要十分条件はその空間が第一可算公理を満たす空間の商空間となることである。 空間にこうした可算性に関する条件が必要となるのは点列の概念がそもそも可算な全順序列として定義されているからであり、点列から可算性と全順序性の束縛を外した概念である有向点族の概念を用いれば空間に仮定を置くことなく収束で位相構造を特長づけられる。 任意の列型空間は可算緊密性を持つ。.

新しい!!: T1空間と列型空間 · 続きを見る »

分離公理

数学の位相空間論周辺分野において、考えたい種類の位相空間を割り出すための様々な制約条件が知られている。そういった制約のうちのいくつかが分離公理(ぶんりこうり、separation axioms)と呼ばれる条件によって与えられる。に因んで、チホノフの分離公理とも呼ばれる。 分離公理が「公理」であるのは、位相空間に関する概念を定義するときに、これらの条件を余分な公理として追加して、位相空間がどのようなものかによってより制限された概念を得るという意味においてのみである。現代的なアプローチでは、きっぱりと位相空間を公理化してしまってから位相空間の「種類」について述べるという形になっているが、「分離公理」の語が定着している。いくつかの分離公理に "T" が付くのは「分離公理」を意味するドイツ語の Trennungsaxiom に由来する。 分離公理に関する用語の正確な意味は時とともに変化してきた。特に、古い文献を参照する際には、そこで述べられているそれぞれの条件の定義が、自分がそうだと思っている語の意味と一致しているかどうか確認しておくべきである。.

新しい!!: T1空間と分離公理 · 続きを見る »

アトラス (多様体)

数学の特に微分位相幾何学におけるアトラス (atlas; 地図帳) あるいは座標近傍系(ざひょうきんぼうけい、co­ordinate neighbourhood system)は多様体を記述するために必要である。アトラスはチャート (chart; 地図) あるいは座標近傍 (co­ordinate neighbourhood) と呼ばれる元の族であり、各チャートは簡単に言えば多様体の各点の周りの適当な領域に座標を入れて考えられるようにするものである。例えば地表を多様体と見なせば、アトラスとその各チャートは日常的な意味で言う地図帳と各地図と考えられる。一般には、アトラスは多様体の厳密な定義の一部として含まれ、あるいは多様体と関連深いベクトル束などのファイバー束においても同様である。.

新しい!!: T1空間とアトラス (多様体) · 続きを見る »

コルモゴロフ空間

数学の位相空間論関連分野におけるコルモゴロフ空間(コルモゴロフくうかん、Kolmogorov space)あるいは T0-空間は、任意の二点に対して少なくともその一方が他方を含まぬ開近傍を持つような位相空間である。この条件は分離公理と呼ばれるものの一種で、T0-分離公理などと呼ばれ、直観的には空間の各点が位相的に識別可能であることを意味する。名称はアンドレイ・コルモゴロフの名に因む。.

新しい!!: T1空間とコルモゴロフ空間 · 続きを見る »

コンパクト空間

数学において、コンパクト(compact)は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の(縁を含んだ)単位球体は有界かつ閉集合であるがコンパクトではない(距離位相を入れた場合)。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト(quasi-compact)と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.

新しい!!: T1空間とコンパクト空間 · 続きを見る »

ザリスキー位相

代数幾何学と可換環論において、ザリスキ位相は代数多様体に定義される位相であり、最初はオスカー・ザリスキによって導入された。ザリスキ位相は可換環の素イデアル全体の集合に対しても定義され、その環のスペクトルと呼ばれる。 ザリスキ位相によって、基礎体が位相体でないときでさえ、代数多様体の研究に位相空間論の道具を使うことができるようになる。このような手法はスキーム論の基本的な考えの1つであり、多様体 (manifold) が局所座標系(実アファイン空間の開部分集合)を貼り合わせて構成されるのと同じように、一般の代数多様体はアファイン多様体を貼り合わせて構成される。 代数多様体のザリスキ位相は、多様体の代数的部分集合の全体を閉集合系とする位相である。複素数体上の代数多様体の場合には、ザリスキ位相は通常の位相よりも粗く、任意の代数的集合は通常の位相でも閉集合であるが、逆は一般には正しくない。 可換環の素イデアル全体の集合へのザリスキ位相の一般化は、代数閉体上定義されたアファイン多様体の点全体と多様体の正則関数環の極大イデアル全体との間の1:1対応を確立するヒルベルトの零点定理から従う。この定理より、可換環の極大イデアル全体の集合上のザリスキ位相は、ある与えられたイデアルを含む極大イデアルの全体を閉集合とし、かつそのような集合のみが閉集合である、と定めればよいことが示唆される。グロタンディークのスキーム論のもう1つの基本的な考えは、極大イデアルに対応する普通の点のみならず、すべての(既約)代数多様体、これは素イデアルに対応する、をも点として考えることである。したがって、可換環の素イデアル全体の集合(スペクトル)上のザリスキ位相は、ある固定されたイデアルを含むような素イデアル全体の集合の全体を閉集合系とする位相である。.

新しい!!: T1空間とザリスキー位相 · 続きを見る »

共通部分 (数学)

数学において、集合族の共通部分(きょうつうぶぶん、intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、)、積集合(せきしゅうごう)、積(せき)、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.

新しい!!: T1空間と共通部分 (数学) · 続きを見る »

違いを除いて

数学の文脈における「—(の違い)を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).

新しい!!: T1空間と違いを除いて · 続きを見る »

補有限

数学において、集合 X の部分集合 A が補有限(ほゆうげん、cofinite; 余有限)であるとは、A の X における補集合が有限集合であることをいう。すなわち、補有限集合 A は「 ''X'' の'''有限個の例外を除く全て'''の元を含む」ような X の部分集合である。補集合が有限でなく可算である場合、その集合は補可算(あるいは余可算)であるという。 補有限の概念は、有限集合に関するものを無限集合に対して一般化する際に自然に生ずる。特に、直積位相や直和加群などのような無限積について、無限であるのと補有限であるのとで本質的な差異を生むものもある。.

新しい!!: T1空間と補有限 · 続きを見る »

近傍 (位相空間論)

平面上の集合 ''V'' が点 ''p'' の近傍であるのは、''p'' を中心とする小さな円板が ''V'' に含まれるときである。 矩形の頂点に対して、その矩形は近傍でない。 数学の位相空間論周辺分野でいう近傍(きんぼう、neighbourhood, neighborhood)は位相空間の基本概念の一つで、直観的に言えば与えられた点を含む集合で、その点を少しくらい動かしてもその集合から外に出ないようなものをいう。 近傍の概念は開集合と内部の概念と密接な関連がある。.

新しい!!: T1空間と近傍 (位相空間論) · 続きを見る »

閉包 (位相空間論)

数学において、位相空間の部分集合の閉包(へいほう、closure)は、その部分集合の触点(部分集合の点とそれらの集積点)を全て集めて得られる集合である。直観的には、部分集合の触点とはその部分集合の「いくらでも近く」にある点と考えられる。閉包の概念は様々な意味で開核の概念の双対になっている。.

新しい!!: T1空間と閉包 (位相空間論) · 続きを見る »

閉集合

閉集合(へいしゅうごう、closed set)は、その補集合が開集合となる集合のこと。距離空間の場合はその部分集合の元からなる任意の収束点列の極限がその部分集合の元であることと一致するので、それを定義としてもよい。 例えば、数直線上で不等式 0 ≤ x ≤ 1 によって定まる集合は閉区間と呼ばれるが、これは閉集合である。なぜならば、その補集合である x < 0 または x > 1 を満たす区間が開集合となるからである。 不等式を 0 < x < 1 としたものや 0 ≤ x < 1 としたものは、閉集合ではない。 また、連続関数 f(x,y) を使って、\ と表される集合は平面の閉集合である。円周も平面の閉集合である。 次の性質を満たす集合 X の部分集合の族 F があると、 F の元が閉集合であるような位相が X に定まる。.

新しい!!: T1空間と閉集合 · 続きを見る »

開集合

開集合(かいしゅうごう、open set)は、実数直線の開区間の考えを一般化した抽象的な概念である。最も簡単な例は距離空間におけるものであり、開集合をその任意の点に対しそれを(元として)含む開球を(部分集合として)含むような集合(あるいは同じことだが境界点を全く含まないような集合)として定義できる。例えば、数直線上で不等式 2 < x < 5 によって定まる開区間は開集合である。この場合の境界とは数直線上の点 2 と 5 であって、不等式を 2 ≤ x ≤ 5 としたものや 2 ≤ x < 5 としたものは、境界を含んでいるので開集合ではない。また、 2 < x < 5 によって定まる開区間内のどの点に対しても、その点の開近傍として十分小さなものを選べば、それがもとの開区間に含まれるようにできる。 しかしながら、開集合は一般にはとても抽象的になりうる(詳しくは位相空間の項を参照されたい)。開集合とは全体集合を形成する基本要素達のようなものであり、位相の特殊な定義の仕方によっては、例えば実数において(普通の意味での)境界上を含む集合が“開集合”と呼ばれることになる場合もある。極端な例では、すべての部分集合を開集合としたり(離散位相)、開集合は空集合と空間全体だけとしたり(密着位相)することもできる。.

新しい!!: T1空間と開集合 · 続きを見る »

離散空間

数学の位相空間論周辺分野における離散空間(りさんくうかん、discrete space)は、その点がすべてある意味で互いに「孤立」しているような空間で、位相空間(またはそれと同様の構造)の非常に単純で極端な例の一つを与える。.

新しい!!: T1空間と離散空間 · 続きを見る »

集合

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

新しい!!: T1空間と集合 · 続きを見る »

集積点

数学における集積点(しゅうせきてん、accumulation point)あるいは極限点(きょくげんてん、limit point)は、位相空間 X の部分集合 S に対して定義される概念。(X の位相に関する x の任意の近傍が x 自身を除く S の点を含むという意味で)S によって「近似」できる X の点 x を S の集積点と呼ぶ。このとき、集積点 x は必ずしも S の点ではない。集積点の概念は極限の概念を適切に一般化したもので、閉集合や閉包といった概念を下支えする。実際、集合が閉であることとそれが自身の集積点を全て含むことは同値で、集合に対する閉包作用はもとの集合にその集積点を付け加えることによる拡大操作としても捉えられる。 任意の有限区間または有界区間はそれが無限個の点を含むならば最少で一つの集積点を含む必要がある。しかし、さらに有界区間が無限個の点とただ一つの集積点を含むならば、区間内の任意の無限列がその唯一の集積点に収束する。.

新しい!!: T1空間と集積点 · 続きを見る »

有向点族

有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。 点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。 有向点族の概念の利点として以下の2つがある:.

新しい!!: T1空間と有向点族 · 続きを見る »

有限集合

数学において、集合が有限(ゆうげん、finite)であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう(ただしここでは、n.

新しい!!: T1空間と有限集合 · 続きを見る »

数学

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

新しい!!: T1空間と数学 · 続きを見る »

整数

数学における整数(せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero)は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen(「数」の意・複数形)に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理(的)」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

新しい!!: T1空間と整数 · 続きを見る »

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