

高岡智則
年齢:33歳 性別:男性 職業:Webディレクター(兼ライティング・SNS運用担当) 居住地:東京都杉並区・永福町の1LDKマンション 出身地:神奈川県川崎市 身長:176cm 体系:細身〜普通(最近ちょっとお腹が気になる) 血液型:A型 誕生日:1992年11月20日 最終学歴:明治大学・情報コミュニケーション学部卒 通勤:京王井の頭線で渋谷まで(通勤20分) 家族構成:一人暮らし、実家には両親と2歳下の妹 恋愛事情:独身。彼女は2年いない(本人は「忙しいだけ」と言い張る)
invertibleとは?基本の意味と身近な例
invertible とは「元に戻せる性質がある」という意味です。何かをして、それをもう一度行えば元の状態に戻せるかどうかを表します。日常生活で言えば、鍵を回すと開くような動作と似ています。数学の世界では、特に「関数」や「行列」の性質として使われます。
日常の例と数学的意味
日常の例としては、次のようなものがあります。回してボタンを引くと元の位置に戻るおもちゃ、あるいはリセットボタンです。invertibleという言葉は、こうした「戻せる」性質を表します。
数学では、invertible は主に二つの場面で出てきます。
1) 関数 f: X → X の場合、f が invertible だとき、ある別の関数 g が存在して f(g(y)) = y および g(f(x)) = x が成り立ちます。つまり、出力から元の入力を一意に取り戻すことができます。
2) 行列 A の場合、A が invertible だとき、逆行列 A^-1 が存在します。たとえば 2×2 の行列であれば、det(A) ≠ 0 のとき invertible です。これにより、連立方程式の解を求めるときに元に戻す操作が可能になります。
分かりやすい例
例1: f(x) = x + 3 は invertible です。逆関数は f^-1(y) = y - 3 です。出力 y に対して 1 を引けば元の x がわかります。
例2: f(x) = x^2 は、全実数の範囲では invertible ではありません。なぜなら 2 と -2 が同じ出力 4 を生み出すからです。もし定義域を正の数のみに限定すれば invertible になることもあります。
例3: 行列の例を見てみましょう。A = [1,0;0,2] の場合、 det(A) = 2 で invertible です。逆行列は A^-1 = [1,0;0,1/2] です。これにより方程式 Ax = b の解がすぐに求められます。
このように invertible という性質は、元に戻せるかどうかを示す大事な考え方です。数式や応用で使われるときは、必ず「逆の操作が存在するか」を確認します。
| 対象 | 説明 |
|---|---|
| f(x) = x + 3 | 逆関数は y - 3 で元に戻せる |
| f(x) = x^2 | 定義域を正の数に限定すると invertible の場合がある |
| 行列 A | det(A) ≠ 0 のとき invertible |
invertibleの同意語
- 可逆
- 逆に戻せる性質。数式では逆操作や逆関数・逆行列が存在することを指す。
- 正則
- 逆行列が存在する性質。線形代数では invertible を表す代表的な語。
- 非特異
- 行列式が0でないこと。逆行列が存在する性質の別名として使われる。
- 非退化
- 退化していない、つまり逆を取れる性質。特に行列の文脈で用いられる。
- 可逆行列
- 行列が逆行列を持つこと。invertible の典型的な呼び方。
- 正則行列
- 逆行列を持つ行列。invertible の別名として広く使われる。
- 逆行列が存在する
- その行列には逆行列が存在する、つまり可逆であることを表す表現。
- 全単射
- 関数が全ての元に対して一意の像を取り、かつ全ての値域を使い切るとき。逆関数が存在する条件。
- 双射
- 全単射の別名。invertible な関数の性質を表す際に用いられることがある。
- 逆関数が存在する関数
- 関数に逆関数が定義できる場合を指す。invertible function の典型的な訳語。
- 同型
- 数学の対象間で、互いに可逆な射を持つときの関係。invertible の概念が含まれる文脈で使われる。
invertibleの対義語・反対語
- 不可逆
- 可逆でないこと。ある入力を一意に元に戻せる逆元や逆操作が存在しない状態を指します。
- 非可逆
- 可逆ではないこと。一般には不可逆とほぼ同義ですが、文脈によって意味が少し広く使われることがあります。
- 特異
- 逆行列を持たない状態。行列が特異であると、逆元が存在しません。
- 特異行列
- 正方行列で逆行列が存在しない状態。最も典型的な非可逆の例です。
- 退化
- 通常の性質を欠く状態。線形代数ではランク欠損などにより逆元を持たなくなることを指します。
- 反転不能
- 逆操作や反転が不可能で、元の入力を一意に復元できない状態を意味します。
- 不可逆性
- 不可逆である性質。変換が一方向にしか進まず、元に戻せない性質を表します。
invertibleの共起語
- 逆行列
- A が可逆なとき、存在する B を A^{-1}(A の逆行列)と呼び、AB = BA = I となる。
- 行列式
- 行列の determinant(行列式)。行列式が 0 でないと invertible(可逆)になる。
- 正則
- 正則行列は逆行列を持つ可逆な正方行列のこと。
- 非特異
- 特異でない、すなわち逆行列を持つ性質。
- 特異
- 逆行列を持たない性質。行列式が 0 のことが多い。
- 可逆性
- 逆を取れる性質。invertible である状態を指す名詞。
- 可逆行列
- 逆行列を持つ正方行列のこと。
- 平方行列
- 行と列の数が等しい正方形の行列。逆行列は基本的に平方行列にのみ存在。
- ランク
- 行列の階数。invertible な行列はランクが行数 n に等しい。
- 固有値
- 行列の固有値。すべての固有値が 0 でないと invertible(可逆)である。
- 固有値0
- 0 を固有値に持つとその行列は特異になる。
- 行列式非零
- 行列式が 0 でないこと。invertible の判定に使われる指標の一つ。
- 全単射
- 線形変換が invertible なら全単射(bijective、1対1かつ全射)になる。
- 線形変換
- invertible な線形変換は元の空間を全域で写す、すなわち全単射になる。
- 単位行列
- I。逆行列の比較基準としてよく使われる基準点。
- 左逆行列
- 左から逆を持つ行列。正方行列でなければ通常は存在しない、または一意でないことがある。
- 右逆行列
- 右から逆を持つ行列。左逆と同様に、条件次第で存在が異なる。
- 零空間
- 核とも呼ばれ、AX=0 の解集合。逆行列の存在には零空間が {0} のみである必要がある。
- LU分解
- LU 分解は行列を L と U に分解する方法で、逆行列を求めるのに役立つ。
- ガウス消去法
- ガウスの消去法は逆行列を求める基本手法の一つ。
- 非正則
- 可逆でない行列のこと。
- 正則性
- 正則である性質。逆行列が存在することを指す。
invertibleの関連用語
- 可逆
- ある対象に対して、逆の対応が存在して元に戻せる性質。行列や写像などで可逆であると、逆の操作を適用して元の状態に復元できます。
- 可逆性
- 可逆である性質そのもの。対象が可逆かどうかを判定する性質や条件を指します。
- 逆写像
- 関数 f の逆の対応を与える写像 g が存在する状態。f(g(x))=x および g(f(x))=x が成り立つときに逆写像と呼びます。
- 逆関数
- 関数 f が可逆で、その逆が関数として存在するとき、f^{-1} を逆関数といいます。
- 逆行列
- 正方行列 A に対し、A^{-1} が存在するとき、AX=I を満たす行列が逆行列です。逆行列があるとき可逆/正則といいます。
- 行列式が0でない
- 行列式 det(A) が 0 でないなら、逆行列が存在します。これは可逆性の必要十分条件です。
- 正則行列
- 逆行列を持つ正方行列のこと。線形変換として全射・単射になる特徴を持ちます。
- 非特異行列
- 行列式が 0 でない、すなわち逆行列を持つ行列の別名。特異でないことを意味します。
- 特異行列
- 行列式が 0 の正方行列のこと。逆行列を持たず、非可逆です。
- 非可逆
- 逆行列を持たない、または逆関数を持たないなど、可逆性がない状態。
- 全単射
- 関数が単射かつ全射で、逆関数が存在する状態。入力と出力の対応が一意です。
- 単射
- 異なる入力が異なる出力になる性質。逆関数が存在するには全射性も必要です。
- 全射
- すべての出力が少なくとも1つの入力と対応する性質。逆関数が存在するには単射性も必要です。
- 双射
- 単射かつ全射を同時に満たす関数。言い換えると、逆関数が必ず存在します。
- ジャコビアンが非零
- 多変量関数において、ヤコビ行列の行列式が点で非ゼロだと、その点の周りで局所的に可逆になります(局所可逆性)。
- 局所可逆性
- 関数がある点の近傍だけで可逆になる性質。全体ではなく局所的な可逆性を指します。
- 置換行列
- 行の並べ替えを表す正方行列で、必ず逆行列を持つ可逆な行列です。
- 同型
- 可逆な射(モルフィズム)を指し、構造を保った等価な関係・対応を表します。
- 逆元
- 群論などで、ある元と演算を行ったときに単位元になる元。invertibility の文脈で重要です。



















