ブラウザよりも高速アクセス！
51 関係: 単射、単集合、可算集合、始対象と終対象、実数、実数空間、実数直線、射影 (集合論)、差集合、交換法則、二項演算、ルネ・デカルト、テンソル積、分配法則、和集合、カリー化、タプル、冪対象、全単射、全射、共通部分 (数学)、元 (数学)、積 (圏論)、空積、空関数、空集合、算法、結合法則、点付き集合、直交座標系、直和、随伴関手、選択公理、順序対、解析幾何学、超積、部分集合、関手、自然数、配置集合、集合、集合の圏、集合族、濃度 (数学)、有限集合、族 (数学)、数え上げの積の法則、数学、数学的構造、数列空間、...、普遍性。 インデックスを展開 (1 もっと) »
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
単集合
数学における単集合（たんしゅうごう、singleton; 単元集合、単項集合、一元集合）あるいは単位集合（）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。 例えば、 という集合は単集合である。.
可算集合
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.
始対象と終対象
数学の抽象的な分野である圏論において、圏 の始対象（したいしょう、initial object, coterminal object）とは、 の任意の対象 に対してちょうど一つの射 が存在するような の対象 のことを指す。圏 の終対象（しゅうたいしょう、final object, terminal object）とは、始対象の双対概念であり、 の任意の対象 に対してちょうど一つの射 が存在するような の対象 のことを指す。 始対象でも終対象でもあるような対象は零対象（れいたいしょう、ゼロたいしょう、zero object, null object）と呼ばれる。点付き圏 とは零対象を持つ圏を言う。.
新しい！!: 直積集合と始対象と終対象 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
実数空間
数学において実 -次元数空間（すうくうかん、n-space）は実変数の -組を一つの変数であるかのように扱うことを許す座標空間である。太字の R の右肩に n を置いた で表す（または黒板太字を用いて とも、プレーンテキストでは とも書く）。さまざまな次元の が純粋数学や応用数学、あるいは物理学などの多くの分野で利用される。実 -次元数空間は実線型空間の原型例であり、n-次元ユークリッド空間を表現するものとしてよく用いられる。この事実から、幾何学的な暗喩が に対して広く用いられる（具体的には を平面、および を空間として扱うなど）。.
実数直線
数学における実数直線（じっすうちょくせん、real line, real number line）は、その上の各点が実数であるような直線である。つまり、実数直線とは、すべての実数からなる集合 を、幾何学的な空間（具体的には一次元のユークリッド空間）とみなしたものということである。この空間はベクトル空間（またはアフィン空間）や距離空間、位相空間、測度空間あるいは線型連続体としてみることもできる。 単に実数全体の成す集合としての実数直線は記号 (あるいは黒板太字の ℝ) で表されるのがふつうだが、それが一次元のユークリッド空間であることを強調する意味で と書かれることもある。 本項では の位相幾何学的、幾何学的あるいは実解析的な側面に焦点を当てる。もちろん実数の全体は一つの体として代数学でも重要な意味を持つが、その文脈での が直線として言及されるのは稀である。そういった観点を含めた の詳細は実数の項を参照のこと。.
射影 (集合論)
数学の集合論における射影（しゃえい、）あるいは射影写像、特に標準射影は順序組に対してその一つの成分を対応させる写像である。より一般に射影は、集合の添え字付けられた任意の族の直積（デカルト積）上で定義された、元の族から特定の添字をもつ成分を選び出す写像を言う。選択公理を仮定すれば、空でない集合からなる任意の族に関して、射影は必ず全射になる。 射影は、集合論、位相空間論、など様々な分野において、あるいはまた、リレーショナルデータベースにおける演算としても用いられる。場合により、座標函数 や 評価写像 (などと呼ばれることもある。.
新しい！!: 直積集合と射影 (集合論) · 続きを見る »
差集合
差集合（さしゅうごう、set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 を固定して、 からその部分集合 の要素を取り去って得られる集合を の補集合という。.
交換法則
交換法則（こうかんほうそく、Commutative property) は数学における法則の一つ。可換則（かかんそく）や交換律（こうかんりつ）ともいう。.
二項演算
数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。.
ルネ・デカルト
ルネ・デカルト（René Descartes、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。.
新しい！!: 直積集合とルネ・デカルト · 続きを見る »
テンソル積
数学におけるテンソル積（テンソルせき、tensor product）は、線型代数学で多重線型性を扱うための線型化を担う概念で、既知のベクトル空間・加群など様々な対象から新たな対象を作り出す操作の一つである。そのようないずれの対象に関しても、テンソル積は最もな双線型乗法である。 共通の体 上の二つの ベクトル空間 のテンソル積 （基礎の体 が明らかな時には とも書く）はふたたびベクトル空間を成す。ベクトル空間のテンソル積を繰り返して得られるテンソル空間は物理的なテンソルを数学的に定式化する。テンソル空間に種々の積を入れてさまざまな多重線型代数・クリフォード代数が定式化されるが、その基本となる演算がテンソル積である。.
新しい！!: 直積集合とテンソル積 · 続きを見る »
分配法則
集合 S に対して、積 × と和 + が定義されている時に、.
和集合
数学において、集合族の和集合（わしゅうごう）、あるいは合併集合（がっぺいしゅうごう）、合併（がっぺい、）、あるいは演算的に集合の和（わ、sum）、もしくは'''結び'''（むすび、）とは、集合の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである。.
カリー化
リー化 (currying, カリー化された.
タプル
タプルまたはチュープル（tuple）とは、複数の構成要素からなる組を総称する一般概念。 数学や計算機科学などでは通常、順序付けられた対象の並びを表すために用いられる。個別的には、n 個でできた組を英語で「n-tuple」と書き、日本語に訳す場合は通常「n 組」としている。タプルの概念そのものも組と呼ばれる場合がある。なお、 n-tuple は数学のタプルを意味するほか、同様に double、triple などの拡張として倍数詞の表現にも利用される（詳細は「倍#西洋数学における n 倍を表す表現」を参照）。.
冪対象
数学、特に圏論における指数対象（しすうたいしょう、exponential object）は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象（map object; 写像対象）や冪対象（べきたいしょう、power object）とも呼ばれるが、「冪対象」という呼称は、トポス理論において（本項で言うのとは異なり）、冪集合を一般化した概念を表すために用いられるため文脈に注意すべきである。 任意の有限積と指数対象を持つ圏はデカルト閉圏と呼ばれ、理論計算機科学への応用などの観点から重要視されている。.
全単射
数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
共通部分 (数学)
数学において、集合族の共通部分（きょうつうぶぶん、intersection）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合（きょうつうしゅうごう）、交叉（こうさ、交差）、交わり（まじわり、）、積集合（せきしゅうごう）、積（せき）、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.
新しい！!: 直積集合と共通部分 (数学) · 続きを見る »
元 (数学)
数学において元（げん、element）とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する（ぞくする、membership）、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.
新しい！!: 直積集合と元 (数学) · 続きを見る »
積 (圏論)
圏論において、考えている圏の二つの（あるいはそれ以上の）対象の（圏論的）積（せき、product）または直積 (direct product) は集合の直積（デカルト積）、群の直積、環の直積、位相空間の直積といった数学の他の分野における構成の背後にある本質を捉えるために考えられた概念である。本質的に対象の族の積は与えられた対象のそれぞれへの射をもつ「最も一般な」対象である。.
新しい！!: 直積集合と積 (圏論) · 続きを見る »
空積
数学における空積（くうせき、empty product）あるいは零項積 (nullary product) は、 個の因子を掛けた結果である。（考えている乗法演算に単位元が存在する場合に限り）「空積の値は単位元 1 に等しい」という規約を設ける。このことは、空和（すなわち0個の数を足した結果）が零元 0 に等しいと約束することと同様である。 用語 "空積" は算術的演算を議論するときに上の意味で使われることが多い。しかしながら、この用語は集合論の共通部分、圏論の積、コンピュータプログラミングにおける積に対しても使われる。これらは以下で議論される。.
空関数
関数（くうかんすう、empty function）、あるいは空写像とは、数学における関数（写像）の一種で、定義域が空集合の関数をいう。任意の集合 A について、A を終域とする空関数 は必ずちょうど1つ存在する。 空関数のグラフは、直積集合 ∅×A の部分集合である。直積は空なので、その部分集合も空集合 ∅ である。定義域 ∅ に属する全ての x に対して、(x, y) ∈ ∅ となるような値域 A 内の y が一意に定まるので、空部分集合は妥当なグラフである。実際には「定義域にはどんな x も存在しない」ので、これはの一例である。 空関数が定数関数の定義に含まれるかどうかを気にすることは少なく、その場その場で便利なように定義することが多い。しかし場合によっては空関数を定数関数の一種と考えない方がよく、値域を用いた定義が望ましい場合もある。これは、1を素数に含めないとか、空の位相空間を連結空間に含めないとか、自明群を単純群に含めないといったことと同列の考え方である。 空関数は単射であり、とくに終域 A も空集合のときは全単射である。 任意の集合 A について唯一の空関数が存在するということは、空集合が集合の圏の始対象 (initial object) であることを意味する。 値域を空集合とする空関数を考えることにより、基数あるいは順序数の冪の意味で を示すことが出来る。詳細は0の0乗#集合論による導出を参照。.
空集合
集合（くうしゅうごう、empty set）は、要素を一切持たない集合の事である。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。空集合を表す記号として、∅ または \emptyset、 がある。記号 ∅ はノルウェー語等で用いられるアルファベット Ø に由来しており、形の似ているギリシャ文字φ, Φ（ファイ）とは全く関係がない。.
算法
n 項算法（エヌこうさんぽう）とは、広義には、集合 A の直積集合 An の部分集合 D から A への写像 f のことをいい、D をこの算法の定義域という。n は任意の順序数でよい。 これを（仮に）f の項数とよぶ。 An は i < n をみたす順序数 i を添数とする A の元の族 (ai)i<n すべてからなる集合を表す。 集合 A とそこにおける算法の族 R との組み (A, R) を代数系という。.
結合法則
数学、殊に代数学における結合法則（けつごうほうそく、associative law) 、結合則、結合律あるいは演算の結合性（けつごうせい、associativity）は二項演算に対して考えられる性質の一つ。ひとつの数式にその演算の演算子が2個以上並んでいる時、その演算子について、左右どちらの側が優先されるかに関わらず結果が同じになるような演算は結合的 (associative) である。.
点付き集合
数学における点付き集合（てんつきしゅうごう、付点集合、page）あるいは基点付き集合 や根付き集合 は、集合 とその特定の元 との対 を言う。このとき、特定の元 はこの点付き空間の基点 と呼ばれる。 「根付き集合」("rooted set") としてのこの概念はの研究やの研究において自然に生じてくる。 点付き集合の間の射は、基点付き写像 や点付き写像 あるいは基点を保つ写像 と呼ばれ、台となる集合の間の写像であって、一方の基点を他方の基点へ写すものを言う。具体的に、点付き集合 から の間の点付き写像 とは、写像 で を満たすものである。 点付き集合は離散位相を備えた点付き空間と見ることもできるし、一元体上のベクトル空間と見なすこともできる。.
新しい！!: 直積集合と点付き集合 · 続きを見る »
直交座標系
数学における直交座標系（ちょっこうざひょうけい、, ）とは、互いに直交している座標軸を指定することによって定まる座標系のことである。平面上の直交座標系ではそれぞれの点に対して一意に定まる二つの実数の組によって点の位置が指定される。同様にして空間上の直交座標系では三つの実数の組によって座標が与えられる。 1637年に発表された『方法序説』において平面上の座標の概念を確立したルネ・デカルトの名を採ってデカルト座標系 (Cartesian coordinate system) とも呼ぶ。.
新しい！!: 直積集合と直交座標系 · 続きを見る »
直和
数学における直和（ちょくわ、）は、既知の数学的対象を「貼り合わせ」て同じ種類の対象を新たに作り出す操作の一種で、歴史的経緯から対象によってやや異なる意味で用いられるが、大雑把には集合論的、代数学的、圏論的用法に大別できる。またいずれの用法においても、直和を取る対象が全て一つの大きな対象の部分となっている場合（内部直和、構造的直和）と、そのようなものを仮定しない場合（外部直和、構成的直和）を区別することができる（場合によってはそれらの記述は見かけ上大きく異なる）が、それらの間に自然な同型があるため理論上区別して扱わないこともある。そのような自然同型は、しばしば圏論的直和（あるいは双積）の普遍性によって捉えることができる。 直和を表すのに用いられる記号には \oplus, \coprod などがある。.
随伴関手
数学の特に圏論における随伴（ずいはん、adjunction）は、二つの関手の間に考えることができる（ある種の双対的な）関係をいう。随伴の概念は数学に遍在し、最適化や効率に関する直観的概念を明らかにする。 最も簡潔な対称的定義において、圏 と の間の随伴とは、二つの関手 の対であって、全単射の族 が変数 に関して自然（あるいは函手的）となるものを言う。このとき、関手 を左随伴函手と呼び、他方 を右随伴函手と呼ぶ。また、「 は の左随伴である」 (同じことだが、「 は の右随伴である」)という関係を と書く。 以下では、この定義や他の定義を詳細化する。.
選択公理
選択公理（せんたくこうり、、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。.
順序対
数学における順序対（じゅんじょつい、ordered pair）は、座標 (coordinate) や射影 (projection) とも呼ばれるふたつの成分 (entry) を持つ対象を総称するものである。順序対では常に、第一成分（第一座標、左射影）と第二成分（第二座標、右射影）の対によって対象が一意に決定される。第一座標が a で第二座標が b であるような順序対は通常、(a, b) で表される。「順序」対という呼称は、a.
解析幾何学
初等幾何学における解析幾何学（かいせききかがく、analytic geometry）あるいは座標幾何学（ざひょうきかがく、coordinate geometry）、デカルト幾何学（デカルトきかがく、Cartesian geometry）は、座標を用いて代数的解析幾何学という名称における接頭辞「解析」は、微積分学を含む現代的な解析学という意味の「解析」ではなく、発見的な代数的手法によるものであることを示唆するものである。(解析幾何学 - コトバンク)に図形を調べる幾何学をいう。座標を用いるという点において、（より古典的な、ユークリッドの原論にもあるような）点や直線などがどのような公理に従うかということのみによって図形を調べる とは対照的である。座標を利用することにより、図形のもつ性質を座標のあいだにあらわれる関係式として特徴づけたり、数や式として図形を取り扱ったりすることができる。 ふつうは（二次元）平面上の点、直線などを扱う（平面解析幾何）か（三次元）空間内のそれらを扱う（立体解析幾何）。.
新しい！!: 直積集合と解析幾何学 · 続きを見る »
超積
数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、ultra­product）は、同じの数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。任意の直積因子が等しい特別の場合として、超冪（ちょうべき、ultra­power）がある。 例えば、与えられた体から新たな体を構成するのに超冪が利用できる。超実数体はそのような方法で実数体の超冪として得られる。 超積の顕著な応用として、例えばコンパクト性定理および完全性定理の非常にエレガントな証明、の超冪定理（初等同値に関する 意味論的概念の代数的特徴付けを与える）、そして解析学の超準モデルを構成するための超構造およびその間の単型射の使用に関するロビンソン–ザコン表示（アブラハム・ロビンソンが（コンパクト性定理の応用として）開拓した超準解析の分野の成長を導いた）などを挙げることができる。.
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
関手
圏論における関手（かんしゅ、functor）は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・ガロアによる群を用いた代数方程式の研究に見ることができる。20世紀はじめのエミー・ネーターらによる加群の研究において拡大加群などさまざまな関手的構成が蓄積された。20世紀半ばの代数的位相幾何学において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。ここでは（基本群のような）代数的対象が位相空間から導かれ、位相空間の間の連続写像は基本群の間の代数的準同型を導いている。その後アレクサンドル・グロタンディークらによる代数幾何学の変革の中でさまざまな数学的対象の関手による定式化が徹底的に追求された。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
配置集合
数学の集合論における配置集合（はいちしゅうごう、Belegungsmenge）あるいは集合の冪（べき、exponentiation ensembliste）は、二つの集合 に対する演算で、 から への写像全体の集合を割り当てるものである。この集合は や などと書かれる。これはまた、 で添字付けられた の元の族の全体 F^E.
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
集合の圏
数学の一分野である圏論において、集合の圏（しゅうごうのけん、category of sets）Set (あるいは \mathcal などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。ただし、対象の間の射の類は、集合 に対して を任意の写像とするとき、 の形に書ける三つ組全体の成す集合によって与えられる。.
集合族
数学の集合論関連分野における集合族（しゅうごうぞく、family of sets）は集合の「あつまり」である。ここで「集合の集合」といわず「集合のあつまり」としているのは、文脈によっては集合族が同じ集合をいくつも重複して持つ場合（しばしば添字付けられた族 (indexed family of sets) として扱われる）があったり、別の文脈では集合でない真の類 (proper class) となる場合があるなどの理由による。 特に与えられた集合 の部分集合のみを考えるとき、 の部分集合からなる集合は の部分集合族、 上の集合族あるいはなどと呼ぶ。グラフ理論の文脈では集合系はハイパーグラフとも呼ばれる。 また、自然数で添字付けられた（あるいは可算な）集合族は特にと呼ぶ（族 (数学)および列 (数学)の項も参照）。.
濃度 (数学)
数学、とくに集合論において、濃度（のうど）あるいは基数（きすう）（cardinal number, cardinality, power）とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.
新しい！!: 直積集合と濃度 (数学) · 続きを見る »
有限集合
数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.
族 (数学)
数学における族（ぞく、family）は、添字付けされた元（要素）の（一般には非可算無限個の）集まりで、対、n-組、列などの概念の一般化である。系（けい、collection）と呼ぶこともある。元がどのような対象であるかによって、点族、集合族（集合系）、関数族（関数系）などと呼ばれる。.
新しい！!: 直積集合と族 (数学) · 続きを見る »
数え上げの積の法則
初等組合せ論における積の法則（せきのほうそく、rule of product）あるいは乗法原理 (multiplication principle) は基本的な（数え上げの基本原理）の一つである。それは、簡単に言えば「ある場合が 通り、別のある場合が 通りあるとき、それらを同時に行う場合は 通りある」ことを述べるものであるJohnston, William, and Alex McAllister.
新しい！!: 直積集合と数え上げの積の法則 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的構造
数学における構造（こうぞう、mathematical structure）とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.
新しい！!: 直積集合と数学的構造 · 続きを見る »
数列空間
関数解析学および関連する数学の分野における数列空間（すうれつくうかん、）とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。またそれと同値であるが、自然数から実あるいは複素数体 K への関数を元とする関数空間のことでもある。そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され、関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。すべての数列空間は、この空間の線型部分空間である。通常、数列空間はノルムを備えるものであり、そうでなくとも少なくとも位相ベクトル空間の構造を備えている。 解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 ℓp である。それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するL''p''空間の特別な場合と見なされる。収束列や零列のような他の重要な数列のクラスも数列空間を構成し、それらの場合はそれぞれ c および c0 と表記され、上限ノルムが備えられる。任意の数列空間は各点収束の位相を備えるものでもあり、その位相の下でのそれらの空間は、と呼ばれるフレシェ空間の特殊な場合となる。.
普遍性
数学の様々な分野において、ある特定の状況下にて一意に射を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性（universal property）と呼ぶ。普遍性は圏論を用いて抽象的に論考される。 結果として、我々は普遍性の一般的な扱い方を得ることになる。例えば、群の直積や直和、自由群、積位相, ストーン－チェックのコンパクト化, テンソル積, 逆極限 と 順極限, 核と余核, 引き戻し, 押し出し および イコライザ、など。.
ここにリダイレクトされます：
デカルト積、カルテシアン積、カルテジアン積、積集合、集合の直積。
