Meta tags:

Headings (most frequently used words):

逆写像, 目次, 定義, 性質, 逆函数, 一般化, 関連項目, 参考文献, 関連文献, 外部リンク, 高等数学における逆写像, 逆写像と写像の合成, 記法についての注意, 一意性, 対称性, 自己逆性, 逆函数の式, 逆函数のグラフ, 逆函数の微分, 偏逆写像, 左逆写像, 右逆写像, 原像,

Text of the page (most frequently used words):
displaystyle (33), sin (14), arc (13), に対して (9), circ (9), inverse (8), frac (8), 逆写像 (7), 例えば (7), これは (7), operatorname (7), sqrt (7), となる (6), たとえば (6), つまり (6), である (6), および (6), の各元 (5), したがって (5), 逆函数 (5), theta (5), function (4), left (4), right (4), が成り立つ (4), このとき (4), に対し (4), もしくは (4), と呼ばれる (4), における (4), 非表示 (4), サイドバーに移動 (4), コモンズ (3), wikipedia (3), isbn (3), calculus (3), one (3), smith (3), eggen (3), andre (3), 2006 (3), 英語版 (3), 逆関係 (3), 同様に (3), とすると (3), によって (3), または (3), しかし (3), implies (3), あるいは (3), 右逆写像 (3), を満たす (3), 左逆写像 (3), といい (3), 偏逆写像 (3), 方程式 (3), 全単射 (3), 個の言語版 (2), 目次の表示 (2), 非表示を切り替え (2), 集合論 (2), 1994 (2), mathematics (2), 外部リンク (2), brooks (2), cole (2), 978 (2), 関連文献 (2), thomas (2), 1972 (2), and (2), analytic (2), geometry (2), 参考文献 (2), pdf (2), 関連項目 (2), の原像 (2), として定まる (2), 部分集合 (2), 逆に写像 (2), 任意の (2), による (2), を満たす写像 (2), のことをいう (2), ノート (2), begin (2), cases (2), text (2), else (2), end (2), csc (2), sec (2), cot (2), tan (2), cos (2), arcsine (2), 逆正弦函数 (2), 正弦函数 (2), 三角函数 (2), principal (2), 一般化 (2), 逆函数の微分 (2), 逆函数のグラフ (2), を参照 (2), lim (2), なる式で与えられる (2), dfrac (2), aligned (2), 逆函数の式 (2), 逆三角函数 (2), 初等解析学 (2), 恒等写像 (2), 自己逆性 (2), ここで (2), の逆写像は (2), 対称性 (2), 一意性 (2), と呼ばれ (2), 記法についての注意 (2), で表す (2), は集合 (2), 逆写像と写像の合成 (2), という (2), 高等数学における逆写像 (2), 定義域として (2), この性質を満たす写像 (2), すなわち (2), を集合 (2), 履歴を表示 (2), ツール (2), english (2), norsk (2), bahasa (2), ログイン (2), アカウント作成 (2), ヘルプ (2), メインメニュー (2), 話題を追加, モバイルビュー, cookieに関する声明, 開発者, 行動規範, 法律および安全に関する連絡先, 免責事項, ウィキペディアについて, プライバシー, ポリシー, テキストは, のもとで利用できます, 追加の条件が適用される場合があります, 詳細については, を参照してください, 利用規約, クリエイティブ, 継承ライセンス, ページは, によってレンダリングされました, parsoid, 最終更新, 2025年8月16日, 日時は, で未設定ならば, utc, 個人設定, 隠しカテゴリ, 正確性, 参照方法, 数学に関する記事, 初等数学, カテゴリ, から取得, https, org, index, php, title, oldid, 106039265, ドイツ, 国立図書館, 典拠管理データベース, weisstein, eric, mathworld, wolfram, com, 2001, ems, press, encyclopedia, stewart, james, 2002, 5th, 0534393397, spivak, michael, 3rd, publish, perish, 0914098896, george, alternate, addison, wesley, part, functions, variable, douglas, maurice, richard, 6th, thompson, 534, 39900, transition, advanced, 304, 309, 179, 202, theorem, keisler, jerome, 2015年1月24日閲覧, differentiation, ラグランジュ反転定理, 逆函数と微分, 逆写像定理, 一つの元, 同じことだが, と呼ばれることもある, が実数全体からなる集合のとき, として言及されることも多い, 等位集合, fiber, ファイバー, 一元集合, を考えると, この函数は既に述べたように可逆ではないが, しかし終域の部分集合に対する原像は定義できて, を終域, の任意の, による原像が, へ写される, の元全体からなる集合, の原像は, 全逆写像による, 完全逆像, として考えることができる, 必ずしも可逆でない, 任意の写像とするとき, に写される, の元全体の成す集合, 左逆写像にも右逆写像にもなっている逆写像は一意でなければならない, の左逆写像のとき, の右逆写像である場合もあるし, そうでない場合もある, の右逆写像であるときも, は必ずしも左逆写像でなくてよい, に対してその平方を与える函数, に対して正の平方根を与える函数, のどの元, に対しても, の右逆函数である, であるから, の左逆函数にはなっていない, を全射とする, すると, において, は空ではない, でもある, が定義できる, への写像となっており, となることから, の右逆写像である, 選択関数, 集合族, の右逆写像とする, とすれば, となるので, は全射, なる条件を満足する, へ写されるような, ならばどのようなものでもよい, が右逆写像をもつ必要十分な条件は, が全射となることである, ただし一般には, が必要となるので, 右逆写像を構成的に得ることはできない, 選択公理, section, このように古典数学では任意の単射, は左逆写像を持つことが必要となるが, 疑問点, においては偽となり得る, 二元集合から実数直線への包含写像, の左逆写像は, 実数直線から二点集合, への引込みを与えるとき, に反する, 既約性, 構成的数学, exists, ではない, 単射ならば, 適当な, を選んで, 次のように左逆写像, を構成することができる, 空写像, の値域上では, の逆写像と一致しなければならないが, 値域に入らない, の元に対してはどのような値をとろうとも支障ない, が左逆写像をもつならば, は単射であることが次のように証明できる, の左逆写像とする, を満たすとすると, なので, は単射である, retract, 引込み, 通常用いられる, の範囲, 逆三角函数の主枝, もっと一般に任煮の整数, から一対一ではない, 上で正弦函数は一対一であり, 対応する偏逆函数は, 逆正弦函数の主枝であると考えられ, そたがってこの逆函数の主値は常に, の間に値を持つ, こういったことへの配慮は, の逆函数を定義する際には重要である, は任意の実数に対して, の偏逆函数である, 実数直線上の連続函数に対して, の隣り合う対にそれぞれ, その全逆函数の一つの, 連続な, 枝が対応する, 極大値と極小値をもつ, の逆函数は, 三つの分枝を持つ, 三次函数, このような多価逆函数を, などと呼び, のような, 部分のことを, と呼ぶ場合もある, 例えば正の平方根のような, 多価函数の最も重要な枝は, 逆函数の, における値で主枝に属するものを, と呼ぶ, value, branch, branches, full, 完全逆写像, 全逆函数, 三次関数の逆函数は三つの枝をもつ, として考えるならば始域を制限する必要も無い, 定義域を, に制限したときは, 逆函数は負の平方根を与えるものになる, 逆函数を, 多価函数, となるから一対一ではない, に始域を制限すれば一対一になり, が一対一でない場合にも, を始域を制限することによって定義することができる, たとえば函数, partial, 逆部分写像, の平方根は, の偏逆写像である, 逆函数定理は, に対しても一般化することができる, 多変数可微分函数, である限り, の近傍で可逆である, この場合, の函数行列は, の函数行列の, 逆行列, 函数行列, 多変数函数, と表すことができる, から導くことができる, 連鎖律, で与えられる, とおくと, 実一変数実数値函数が, ならば, その逆函数, である限り可微分で, その導函数は, により, 逆函数定理, 可微分, は可逆である, これが単調増大であることはその, が常に正値であることからわかる, 導函数, 実一変数実数値の, が一対一, したがって可逆, となるために必要十分な条件は, それが, 極値を持たない, ことである, 狭義単調, 連続函数, のグラフは同一である, このことは, の役割が入れ替わっていることを除けば, のグラフを定義することと同じである, のグラフは, のグラフで, の位置を入れ替えることによって得られる, これらのグラフが直線, に関して, であるといっても同じことである, 線対称, のグラフと方程式, が可逆ならば函数, のグラフ, 点線は, ケプラーの方程式, 逆ケプラー方程式, sum, infty, なる函数であれば, は一対一で, したがって逆函数, を持つのだが, この逆函数を与える公式は無限項の和, しかしいつでもこのような逆函数の求め方が通用するわけではない, となるから, 求める逆函数, なる式で与えられているとき, について解けば, が存在するとき, その式を求める方法のひとつが, について解くことで与えられる, ランベルトのw関数, いろいろと制約がある, log, 一般に, は実数, 特に制限無し, のときに限る, いくつかの標準的な実函数とその逆函数, のような明示的な, を通して定義される, 実一変数実数値函数, はそれが一対一である限り逆函数を持つ, 一変数の, では実数を実数に写す写像である, を主に考える, そのような函数は, しばしば, 実函数, もっと一般に, がその逆函数と相等しいための必要十分条件は, 合成函数, に等しいことである, このような写像は, 任意の集合, そのうえの, はそれ自身を逆写像として持つ, としなければならない, に等しい, tfrac, この過程を逆にするには, を引いて, そのあと, で割る, それらの合成, 倍してから, を加える函数, が逆順になっていることに注意, を施してから, を施す, という操作を取り消すには, を取り消してから, を取り消す, ようにしなければならない, 合成写像の逆写像は, という式として簡潔に表現できる, この主張は可逆写像が, 第一の定義では, 単射または, 第二の定義では, 全単射とならなければならないことから明らかに演繹される帰結である, 対合対称性, であることにより, 逆写像と逆関係との間の関係から従う, 関係の逆転, 写像とその逆写像との間には対称性が存在する, への可逆写像ならば, その逆写像, への写像であり, の逆写像はもとの写像, に一致する, 記号で書けば, 与えられた写像, その逆写像は存在すれば唯一つである, それは, を関係と見たときの, に一致しなければならない, は乗法逆元を表すものではなく, 正弦函数の逆函数, 実際には, に適用したものを意味する, 混乱を避けるため, には接頭辞, を付けることがしばしば行われる, 例えば正弦函数, の逆函数は典型的には逆正弦函数, と書かれる, の逆函数は接頭辞, を付ける, area, 双曲線函数, arcsin, arcus, 逆部分函数, を意味する記法, としばしば誤解されるが, 後者は, の逆写像とは無関係である, 乗法逆元, 写像の合成を考えることは, なる記法を用いることの理解を助ける, 自分自身と繰り返し合成を取ることは, を初期値, 回適用したものを, などである, が成り立つから, との合成は, となり, の適用は, を一つ適用する操作を, 取り消す, undoing, 操作として働く, 反復合成, 引数の値を変えない写像, ではこれを, の定義として用いる, の言葉で書き直せば, 写像の合成, quad, forall, 可逆写像, の始域が, 値域が, であるとき, 終域を気にする立場では, の逆写像は始域, と終域, を持つ必要がある, 逆写像が, の全域で定義されるためには, の全ての元が写像, の値域に入っていなければならない, このような性質を持つ写像は, ゆえに, 終域を持つ写像が可逆となる, それが一対一かつ上への写像となることである, そのような写像は, にちょうど一つの元, が対応するという性質を持つ, bijection, correspondence, 一対一対応, 必要十分条件, surjection, onto, 上への写像, と書いて, の元を集合, の元に写す写像である, ことを表す, 出元である, 行先の, の終域は, として含み, また終域は, の定義の一部とみなされる, colon, 既に述べた定義は, によく馴染むものである, 進んだ数学では, 詳細は, この函数の定義域を非負実数全体に制限すれば, 得られる函数は単射となり, 特に可逆である, 全体を考えれば, に対して対応する定義域, の点が二種類, 一方は正で他方は負, が考えられるから, 出力値から入力値を特定することができず, これは可逆でない, 実数直線, はどのような種類の数の集合を, 考えるのかによって, 可逆になることもあるしならないこともある, 必ずしも全ての写像が逆写像を持つわけではなく, 上記の条件を適用するためには, に写されるような定義域, がちょうど一つ存在する, 必要がある, は一対一あるいは, がそれぞれ, 上の写像となるとき, これらはともに, するように, 全単射とならない単射の逆は, として与えられる, 対応する値が定義されない, が存在する, 部分写像, 別な言い方をすれば, 写像が可逆であるための必要十分条件は, が再び写像となることである, 逆関係が逆写像を与える, を満足するものが存在するときに言う, が可逆ならば写像, はただ一つ存在して, 一つよりも多くも少なくもない, の逆写像と呼び, iff, とする, であるとは, を定義域, を値域とする写像, invertible, 定義域, も参照, への写像ならば, へもどす写像である, 函数と呼ばれる種類の写像の逆写像は, ぎゃくしゃぞう, は一口に言えば, の与える元の対応関係を, にして得られる写像である, に写すならば, に写し戻す, mapping, とその逆写像, に写すから, に写す, この記事には, での議論にご協力ください, ください, 2013年5月, 脚注を追加して, の参照が不十分です, 出典や参考文献, ノートページ, 複数の問題があります, フリー百科事典, ウィキペディア, ウィキデータ項目, 他のプロジェクト, 印刷用バージョン, 形式でダウンロード, ブックの新規作成, 書き出し, レガシーパーサーに切り替え, 短縮urlを取得する, このページを引用, ページ情報, この版への固定リンク, ファイルをアップロード, 関連ページの更新状況, リンク元, 日本語, ページ, リンクを編集, 閩南語, bân, lâm, tiếng, việt, oʻzbekcha, ўзбекча, українська, türkçe, tagalog, ไทย, தமிழ், svenska, српски, srpski, shqip, slovenščina, slovenčina, simple, русский, română, português, polski, bokmål, nynorsk, nederlands, नेपाली, မြန်မာဘာသာ, melayu, македонски, lombard, latina, 한국어, ಕನ್ನಡ, қазақша, italiano, íslenska, ido, indonesia, interlingua, հայերեն, magyar, hrvatski, हिन्दी, עברית, galego, français, suomi, فارسی, euskara, eesti, español, ελληνικά, deutsch, dansk, чӑвашла, čeština, کوردی, català, bosanski, български, беларуская, azərbaycanca, العربية, አማርኛ, 一般化サブセクションを切り替えます, 逆函数サブセクションを切り替えます, 性質サブセクションを切り替えます, 定義サブセクションを切り替えます, ページ先頭, 個人用ツール, ウィキペディアに関するお問い合わせ, バグの報告, お知らせ, 井戸端, 利用案内, 特別ページ, アップロード, ウィキメディア, 練習用ページ, おまかせ表示, 最近の更新, 新しいページ, 最近の出来事, コミュニティ, ポータル, メインページ, コンテンツにスキップ,

Text of the page (random words):
逆写像 wikipedia コンテンツにスキップ メインメニュー メインメニュー サイドバーに移動 非表示 案内 メインページ コミュニティ ポータル 最近の出来事 新しいページ 最近の更新 おまかせ表示 練習用ページ アップロード ウィキメディア コモンズ 特別ページ ヘルプ ヘルプ 利用案内 井戸端 お知らせ バグの報告 ウィキペディアに関するお問い合わせ 検索 検索 表示 寄付 アカウント作成 ログイン 個人用ツール 寄付 アカウント作成 ログイン 目次 サイドバーに移動 非表示 ページ先頭 1 定義 定義サブセクションを切り替えます 1 1 例 1 2 高等数学における逆写像 1 3 逆写像と写像の合成 1 4 記法についての注意 2 性質 性質サブセクションを切り替えます 2 1 一意性 2 2 対称性 2 3 自己逆性 3 逆函数 逆函数サブセクションを切り替えます 3 1 逆函数の式 3 2 逆函数のグラフ 3 3 逆函数の微分 4 一般化 一般化サブセクションを切り替えます 4 1 偏逆写像 4 2 左逆写像 4 3 右逆写像 4 4 原像 5 関連項目 6 注 7 参考文献 8 関連文献 9 外部リンク 目次の表示 非表示を切り替え 逆写像 64 個の言語版 አማርኛ العربية azərbaycanca беларуская български bosanski català کوردی čeština чӑвашла dansk deutsch ελληνικά english español eesti euskara فارسی suomi français galego עברית हिन्दी hrvatski magyar հայերեն interlingua bahasa indonesia ido íslenska italiano қазақша ಕನ್ನಡ 한국어 latina lombard македонски bahasa melayu မြန်မာဘာသာ नेपाली nederlands norsk nynorsk norsk bokmål polski português română русский simple english slovenčina slovenščina shqip српски srpski svenska தமிழ் ไทย tagalog türkçe українська oʻzbekcha ўзбекча tiếng việt 吴语 閩南語 bân lâm gí 粵語 中文 リンクを編集 ページ ノート 日本語 閲覧 編集 履歴を表示 ツール ツール サイドバーに移動 非表示 操作 閲覧 編集 履歴を表示 全般 リンク元 関連ページの更新状況 ファイルをアップロード この版への固定リンク ページ情報 このページを引用 短縮urlを取得する レガシーパーサーに切り替え 印刷 書き出し ブックの新規作成 pdf 形式でダウンロード 印刷用バージョン 他のプロジェクト コモンズ ウィキデータ項目 表示 サイドバーに移動 非表示 出典 フリー百科事典 ウィキペディア wikipedia この記事には 複数の問題があります 改善 や ノートページ での議論にご協力ください 脚注 による 出典や参考文献 の参照が不十分です 脚注を追加して ください 2013年5月 写像 f とその逆写像 f 1 たとえば f は a を 3 に写すから 逆写像 f 1 は 3 を a に写す 数学 における 逆写像 ぎゃくしゃぞう 英 inverse mapping は一口に言えば 写像 の与える元の対応関係を 反対 にして得られる写像である すなわち 写像 f が x を y に写すならば f の逆写像は y を x に写し戻す 1 函数と呼ばれる種類の写像の逆写像は 逆函数 inverse function と呼ばれる 定義 編集 f が x から y への写像ならば f 1 は y を x へもどす写像である 逆元 も参照 写像 f の 定義域 を集合 x 値域 を集合 y とする 写像 f が 可逆 invertible であるとは y を定義域 x を値域とする写像 g で 条件 f x y g y x displaystyle f x y iff g y x を満足するものが存在するときに言う f が可逆ならば写像 g は 一意 である つまり この性質を満たす写像 g はただ一つ存在して 一つよりも多くも少なくもない 写像 g を f の逆写像と呼び f 1 で表す 別な言い方をすれば 写像が可逆であるための必要十分条件は その 逆関係 が再び写像となることである このとき 逆関係が逆写像を与える 2 必ずしも全ての写像が逆写像を持つわけではなく 上記の条件を適用するためには 値域 y の各元 y に対して f で y に写されるような定義域 x の元 x がちょうど一つ存在する 必要がある この性質を満たす写像 f は一対一あるいは 単射 と呼ばれる f および f 1 がそれぞれ x および y 上の写像となるとき これらはともに 全単射 となる 後述 するように 全単射とならない単射の逆は 部分写像 として与えられる すなわち 対応する値が定義されない y y が存在する 例 編集 函数 f x x 2 はどのような種類の数の集合を 定義域として 考えるのかによって 可逆になることもあるしならないこともある 定義域として 実数直線 全体を考えれば 各 y 0 に対して対応する定義域 x の点が二種類 一方は正で他方は負 が考えられるから 出力値から入力値を特定することができず これは可逆でない この函数の定義域を非負実数全体に制限すれば 得られる函数は単射となり 特に可逆である 高等数学における逆写像 編集 詳細は 写像 および 全単射 を参照 既に述べた定義は 集合論 および 初等解析学 によく馴染むものである 進んだ数学では f x y displaystyle f colon x to y と書いて f は集合 x の元を集合 y の元に写す写像である ことを表す 出元である x を f の 始域 といい 行先の y を f の 終域 という f の終域は f の 値域 を 部分集合 として含み また終域は f の定義の一部とみなされる 3 終域を気にする立場では 写像 f x y の逆写像は始域 y と終域 x を持つ必要がある 逆写像が y の全域で定義されるためには y の全ての元が写像 f の値域に入っていなければならない このような性質を持つ写像は 上への写像 onto function または 全射 surjection という ゆえに 終域を持つ写像が可逆となる 必要十分条件 は それが一対一かつ上への写像となることである そのような写像は 一対一対応 one to one correspondence または 全単射 bijection といい y の各元 y にちょうど一つの元 x x が対応するという性質を持つ 逆写像と写像の合成 編集 可逆写像 f の始域が x 値域が y であるとき f 1 f x x x x displaystyle f 1 f x x quad forall x in x が成り立つ 写像の合成 の言葉で書き直せば f 1 f id x displaystyle f 1 circ f operatorname id _ x となる ここで id x は集合 x 上の 恒等写像 つまり 引数の値を変えない写像 である 圏論 ではこれを 逆射 の定義として用いる 写像の合成を考えることは f 1 なる記法を用いることの理解を助ける 自分自身と繰り返し合成を取ることは 反復合成 と呼ばれ 写像 f を初期値 x に n 回適用したものを f n x で表す たとえば f 2 x f f x などである さて f 1 f x x が成り立つから f 1 と f n との合成は f n 1 となり f 1 の適用は f を一つ適用する操作を 取り消す undoing 操作として働く 記法についての注意 編集 記法 f 1 x は値 f x の 乗法逆元 を意味する記法 f x 1 としばしば誤解されるが 後者は f の逆写像とは無関係である 数式 sin 1 x は乗法逆元を表すものではなく 4 正弦函数の逆函数 実際には 逆部分函数 を x に適用したものを意味する 混乱を避けるため 逆三角函数 には接頭辞 arc 羅 arcus を付けることがしばしば行われる 例えば正弦函数 sin の逆函数は典型的には逆正弦函数 arcsine と呼ばれ arcsin と書かれる 同様に 双曲線函数 の逆函数は接頭辞 ar 英 area を付ける 性質 編集 一意性 編集 与えられた写像 f に対して その逆写像は存在すれば唯一つである それは f を関係と見たときの 逆関係 に一致しなければならない 対称性 編集 写像とその逆写像との間には対称性が存在する f が x から y への可逆写像ならば その逆写像 f 1 は y から x への写像であり かつ f 1 の逆写像はもとの写像 f に一致する 記号で書けば f x y および g y x に対して g f id x f g id y displaystyle g circ f operatorname id _ x implies f circ g operatorname id _ y が成り立つ これは 関係の逆転 が 対合 であることにより 逆写像と逆関係との間の関係から従う この主張は可逆写像が 第一の定義では 単射または 第二の定義では 全単射とならなければならないことから明らかに演繹される帰結である この 対合対称性 は f 1 1 f displaystyle f 1 1 f という式として簡潔に表現できる g f の逆写像は f 1 g 1 である 合成写像の逆写像は g f 1 f 1 g 1 displaystyle g circ f 1 f 1 circ g 1 なる式で与えられる ここで f と g が逆順になっていることに注意 まず f を施してから g を施す という操作を取り消すには まず g を取り消してから f を取り消す ようにしなければならない たとえば f x 3 x および g x x 5 とすると それらの合成 g f は まず 3 倍してから 5 を加える函数 g f x 3 x 5 displaystyle g circ f x 3x 5 である この過程を逆にするには まず 5 を引いて そのあと 3 で割る g f 1 y 1 3 y 5 displaystyle g circ f 1 y tfrac 1 3 y 5 としなければならない これは f 1 g 1 に等しい 自己逆性 編集 任意の集合 x に対して そのうえの 恒等写像 はそれ自身を逆写像として持つ つまり id x 1 id x displaystyle operatorname id _ x 1 operatorname id _ x が成り立つ もっと一般に 函数 f x x がその逆函数と相等しいための必要十分条件は 合成函数 f f が id x に等しいことである このような写像は 対合 と呼ばれる 逆函数 編集 一変数の 初等解析学 では実数を実数に写す写像である 実函数 を主に考える そのような函数は しばしば f x 2 x 8 3 displaystyle f x 2x 8 3 のような明示的な 数式 を通して定義される 実一変数実数値函数 f はそれが一対一である限り逆函数を持つ いくつかの標準的な実函数とその逆函数 函数 f x 逆函数 f 1 y 注意 x a y a a x a y mx y m m 0 1 x 1 y x y 0 x 2 y x y 0 のときに限る x 3 3 y x y は実数 特に制限無し x p y 1 p p y 一般に x y 0 p 0 e x ln y y 0 a x log a y y 0 かつ a 0 a 1 三角函数 逆三角函数 いろいろと制約がある xe x ランベルトのw関数 逆函数の式 編集 f 1 が存在するとき その式を求める方法のひとつが 方程式 y f x を x について解くことで与えられる 例えば f が f x 2 x 8 3 displaystyle f x 2x 8 3 なる式で与えられているとき 方程式 y 2 x 8 3 を x について解けば y 2 x 8 3 y 3 2 x 8 y 3 8 2 x y 3 8 2 x displaystyle begin aligned y 2x 8 3 sqrt 3 y 2x 8 sqrt 3 y 8 2x dfrac sqrt 3 y 8 2 x end aligned となるから 求める逆函数 f 1 が f 1 y y 3 8 2 displaystyle f 1 y dfrac sqrt 3 y 8 2 なる式で与えられる しかしいつでもこのような逆函数の求め方が通用するわけではない 例えば f が f x x sin x displaystyle f x x sin x なる函数であれば f は一対一で したがって逆函数 f 1 を持つのだが この逆函数を与える公式は無限項の和 f 1 y n 1 y n 3 n lim θ 0 d n 1 d θ n 1 θ θ sin θ 3 n displaystyle f 1 y sum _ n 1 infty frac y frac n 3 n lim _ theta to 0 frac d n 1 d theta n 1 left frac theta sqrt 3 theta sin theta right n となる ケプラーの方程式 逆ケプラー方程式 を参照 逆函数のグラフ 編集 y f x と y f 1 のグラフ 点線は y x である f が可逆ならば函数 y f 1 x displaystyle y f 1 x のグラフと方程式 x f y displaystyle x f y のグラフは同一である このことは x と y の役割が入れ替わっていることを除けば 方程式 y f x が f のグラフを定義することと同じである したがって 逆函数 f 1 のグラフは 函数 f のグラフで x と y の位置を入れ替えることによって得られる これは これらのグラフが直線 y x に関して 線対称 であるといっても同じことである 逆函数の微分 編集 実一変数実数値の 連続函数 f が一対一 したがって可逆 となるために必要十分な条件は それが 狭義単調 となる 極値を持たない ことである たとえば 函数 f x x 3 x displaystyle f x x 3 x は可逆である これが単調増大であることはその 導函数 f x 3 x 2 1 が常に正値であることからわかる 実一変数実数値函数が 可微分 ならば その逆函数 f 1 も f x 0 である限り可微分で その導函数は 逆函数定理 により d d y f 1 y 1 f f 1 y displaystyle frac d dy f 1 y frac 1 f f 1 y で与えられる これは x f 1 y とおくと d x d y 1 d y d x displaystyle frac dx dy frac 1 dy dx と表すことができる これは 連鎖律 から導くことができる 逆函数定理は 多変数函数 に対しても一般化することができる 特に 多変数可微分函数 f r n r n は 点 p における f の 函数行列 が 可逆 である限り 点 p の近傍で可逆である この場合 点 f p における f 1 の函数行列は p における f の函数行列の 逆行列 である 一般化 編集 偏逆写像 編集 x の平方根は f x x 2 の偏逆写像である 写像 f が一対一でない場合にも f の 偏逆写像 もしくは 逆部分写像 partial inverse を始域を制限することによって定義することができる たとえば函数 f x x 2 displaystyle f x x 2 は x 2 x 2 となるから一対一ではない しかし x 0 に始域を制限すれば一対一になり このとき f 1 y y displaystyle f 1 y sqrt y となる 定義域を x 0 に制限したときは 逆函数は負の平方根を与えるものになる あるいは 逆函数を 多価函数 f 1 y y displaystyle f 1 y pm sqrt y として考えるならば始域を制限する必要も無い 三次関数の逆函数は三つの枝をもつ このような多価逆函数を f の 全逆函数 もしくは 完全逆写像 full inverse などと呼び その x や x のような 部分のことを 枝 もしくは 分枝 branches と呼ぶ場合もある 例えば正の平方根のような 多価函数の最も重要な枝は 主枝 principal branch といい 逆函数の y における値で主枝に属するものを f 1 y の 主値 principal value と呼ぶ 実数直線上の連続函数に対して 極値 の隣り合う対にそれぞれ その全逆函数の一つの 連続な 枝が対応する 例えば 極大値と極小値をもつ 三次函数 の逆函数は 三つの分枝を持つ 主 逆正弦函数 は 正弦函数 の偏逆函数である こういったことへの配慮は 特に 三角函数 の逆函数を定義する際には重要である 例えば 正弦函数 は任意の実数に対して sin x 2 π sin x displaystyle sin x 2 pi sin x を満たす もっと一般に任煮の整数 n に対して sin x 2 π n sin x を満たす から一対一ではない しかし 区間 π 2 π 2 上で正弦函数は一対一であり 対応する偏逆函数は 逆正弦函数 arcsine と呼ばれる これは 全 逆正弦函数の主枝であると考えられ そたがってこの逆函数の主値は常に π 2 と π 2 の間に値を持つ 逆三角函数の主枝 函数 通常用いられる 主値 の範囲 arc sin π 2 arc sin x π 2 arc cos 0 arc cos x π arc tan π 2 arc tan x π 2 arc cot 0 arc cot x π arc sec 0 arc sec x π arc csc π 2 arc csc x π 2 左逆写像 編集 写像 f x y に対し f の 左逆写像 left inverse あるいは 引込み retract とは g f id x displaystyle g circ f operatorname id _ x を満たす写像 g y x のことをいう つまり x の各元 x に対して g は f x y g y x displaystyle f x y implies g y x を満たす したがって g は f の値域上では f の逆写像と一致しなければならないが 値域に入らない y の元に対してはどのような値をとろうとも支障ない 写像 f が左逆写像をもつならば f は単射であることが次のように証明できる 写像 f x y に対し g y x を f の左逆写像とする x y x が f x f y を満たすとすると g f x g f y から id x x id x y なので x y したがって f は単射である 逆に写像 f x y が 空写像 ではない 単射ならば 適当な x 0 x を選んで 次のように左逆写像 g y x を構成することができる g y x if x x f x y x 0 else displaystyle g y begin cases x text if exists x in x f x y x_ 0 text else end cases このように古典数学では任意の単射 f は左逆写像を持つことが必要となるが 構成的数学 においては偽となり得る 例えば 二元集合から実数直線への包含写像 0 1 r の左逆写像は 実数直線から二点集合 0 1 への引込みを与えるとき 既約性 英語版 に反する 疑問点 ノート 右逆写像 編集 写像 f x y に対し f の 右逆写像 right inverse あるいは 切断 もしくは 断面 section とは f h id y displaystyle f circ h operatorname id _ y を満たす写像 h y x のことをいう つまり h は y の各元 y に対して h y x f x y displaystyle h y x implies f x y なる条件を満足する したがって h y は f によって y へ写されるような x ならばどのようなものでもよい 写像 f が右逆写像をもつ必要十分な条件は f が全射となることである ただし一般には 選択公理 が必要となるので 右逆写像を構成的に得ることはできない 証明 写像 f x y に対し h y x を f の右逆写像とする このとき 任意の y y に対して x h y とすれば f x y となるので f は全射 逆に写像 f x y を全射とする すると 任意の y y において f の 原像 f 1 y は空ではない したがって 集合族 f 1 y y y これは f による x の 類別 でもある に対して 選択関数 φ f 1 y y y x が定義できる このとき h y φ f 1 y は y から x への写像となっており f h y y となることから h は f の右逆写像である 左逆写像にも右逆写像にもなっている逆写像は一意でなければならない 同様に g が f の左逆写像のとき g は f の右逆写像である場合もあるし そうでない場合もある また h が f の右逆写像であるときも h は必ずしも左逆写像でなくてよい 例えば f r 0 が r の各元 x に対してその平方を与える函数 f x x 2 とし g 0 r を各 x 0 に対して正の平方根を与える函数 g x x とすると 0 のどの元 x に対しても f g x x が成り立つ つまり g は f の右逆函数である しかし 例えば g f 1 1 1 であるから g は f の左逆函数にはなっていない 原像 編集 f x y を 必ずしも可逆でない 任意の写像とするとき y の元 y の 原像 または 逆像 が f によって y に写される x の元全体の成す集合 f 1 y x x f x y displaystyle f 1 y x in x f x y として定まる y の原像は 全逆写像による y の像 完全逆像 として考えることができる 同様に s を終域 y の任意の 部分集合 とすると s の f による原像が f によって s へ写される x の元全体からなる集合 f 1 s x x f x s displaystyle f 1 s x in x f x in s として定まる たとえば 函数 f r r x x 2 を考えると この函数は既に述べたように可逆ではないが しかし終域の部分集合に対する原像は定義できて たとえば f 1 1 4 9 16 4 3 2 1 1 2 3 4 displaystyle f 1 left 1 4 9 16 right left 4 3 2 1 1 2 3 4 right となる 一つの元 y y の原像 同じことだが 一元集合 y の原像 は y の ファイバー fiber と呼ばれることもある y が実数全体からなる集合のとき f 1 は 等位集合 として言及されることも多い 関連項目 編集 逆写像定理 逆関係 逆函数と微分 英語版 ラグランジュ反転定理 英語版 注 編集 keisler h jerome differentiation pdf 2015年1月24日閲覧 2 4 smith eggen st andre 2006 p 202 theorem 4 9 smith eggen st andre 2006 p 179 thomas 1972 pp 304 309 参考文献 編集 smith douglas eggen maurice st andre richard 2006 a transition to advanced mathematics 6th ed thompson brooks cole isbn 978 0 534 39900 9 thomas jr george b 1972 calculus and analytic geometry part 1 functions of one variable and analytic geometry alternate ed addison wesley 関連文献 編集 spivak michael 1994 calculus 3rd ed publish or perish isbn 0914098896 stewart james 2002 calculus 5th ed brooks cole isbn 978 0534393397 外部リンク 編集 inverse function encyclopedia of mathematics ems press 2001 1994 weisstein eric w inverse function mathworld wolfram com 英語 典拠管理データベース 国立図書館 ドイツ https ja wikipedia org w index php title 逆写像 oldid 106039265 から取得 カテゴリ 初等数学 集合論 逆写像 数学に関する記事 隠しカテゴリ 参照方法 正確性 最終更新 2025年8月16日 土 17 19 日時は 個人設定 で未設定ならば utc ページは parsoid によってレンダリングされました テキストは クリエイティブ コモンズ 表示 継承ライセンス のもとで利用できます 追加の条件が適用される場合があります 詳細については 利用規約 を参照してください プライバシー ポリシー ウィキペディアについて 免責事項 法律および安全に関する連絡先 行動規範 開発者 統計 cookieに関する声明 モバイルビュー 検索 検索 目次の表示 非表示を切り替え 逆写像 64 個の言語版 話題を追加