像 (数学)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/01/03 10:16 UTC 版)
例
- 写像 f: {1, 2, 3} → {a, b, c, d} を で定義されるものとする。部分集合 {2, 3} の f による像は f({2, 3}) = {a, c} となる。また、元 a の逆像は f−1({a}) = {1, 2} であり、{a, b} の逆像も同じく {1, 2} となる。{b, d} の逆像は空集合 {} になる。
- 写像 f: R → R を f(x) = x2 で定義されるものとする。部分集合 {-2, 3} の f による像は f({-2, 3}) = {4, 9} であり、写像 f の像は非負実数全体 R+ である。一方 {4, 9} の f による逆像は f−1({4, 9}) = {-3, -2, 2, 3} であり、また負の実数の平方根は実数の範囲には存在しないから、N = {n ∈ R | n < 0} の f による逆像は空集合である。
- 写像 f: R2 → R を f(x, y) = x2 + y2 で定義されるものとする。
- M が可微分多様体で π: TM → M が接束 TM から M への標準射影ならば、点 x ∈ M 上の π に関するファイバーは x における接空間 Tx(M) である。これはファイバー束の例にもなっている。
- ^ Blyth 2005, p. 5
- ^ Jean E. Rubin (1967), Set Theory for the Mathematician, Holden-Day, p. xix, ASIN B0006BQH7S
- ^ a b Kelley (1985), p. 85
- ^ Equality holds if B is a subset of Im(f) or, in particular, if f is surjective. See Munkres, J.. Topology (2000), p. 19.
- ^ Equality holds if f is injective. See Munkres, J.. Topology (2000), p. 19.
「像 (数学)」の続きの解説一覧
- 像 (数学)のページへのリンク