『【１変数】コーシー列の定義から実数の構成までを解説』の記事では、コーシー列の定義から実数の構成までを解説しました。 今回は、続いて実数の和や積、順序、絶対値についての定義を紹介していきたいと思います。分からない記号が出…

前回の記事では、コーシー列を定義してから実数の構成を概観しました。 なぜこの２つを解説したかというと、今回紹介する実数列の収束とコーシー列に関する定理を証明するにあたって、実数を構成しておく必要があったからです。 それで…

積集合（直積）と対角集合 続いて、集合\(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\)という集合に対し…

カルボニル化合物からアルコールを合成するにあたって、正に帯電したプロトンH+だけでなく負に帯電したヒドリドイオンH–が必要であることを下の記事で解説しました。言い換えれば、求電子的な水素と求核的な水素が必要で…