積集合（直積）と対角集合 続いて、集合\(A\)と\(B\)があるとします。このとき、\(A\)の元\(x\)と\(B\)の元\(y\)のペア\((x, y)\)全部の集合を、\(A\)と\(B\)の積集合または直積とい…

二項関係 \(A\)が集合であるとします。このとき、積集合\(A \times A\)の部分集合を\(A\)上の二項関係または関係といいます。 \(R\)が\(A\)上の二項関係、すなわち積集合\(A \times A\…

積集合の一般化 \(I\)を添字域とする集合族\(A\)があるとします。 $$A = <A_i ; i \in I>$$ また、集合\(B\)を、 $$\begin{align} B &= \bigc…

点列 自然数全部の集合\(\mathbb N\)または非負の整数全部の集合から集合\(X\)への写像を、\(X\)の点列といいます。 \(X\)が実数全部の集合\(\mathbb R\)や複素数全部の集合\(\mathb…

単射、全射、全単射の定義をそれぞれ紹介します。 単射、全射、全単射の定義 \(f\)を\(A\)から\(B\)への写像とします。 \(x, y \in A\)として、\(f(x) = f(y)\)ならば\(x = y\)…

写像（関数） 集合\(A\)と\(B\)があって、\(f\)を積集合\(A \times B\)の部分集合とします。 \(A\)の任意の元\(x\)に対して、\((x, y) \in f\)となる\(B\)の元\(y\)…

集合と元（要素） 数学において着目したい「もの」の集まりをひとつの対象とみなします。この対象のことを集合といいます。 集合を構成する個々の「もの」のことを元（げん）または要素と呼びます。 例えば\(A\)という集合に対し…