Meta tags:

Headings (most frequently used words):

制限, 数学, 目次, 定義, 性質, 応用, 左および右制限, 反制限, 出典, 参考文献, 関連項目, 逆写像, 貼合せ補題,

Text of the page (most frequently used words):
displaystyle (8), あるいは (5), res (5), mathbb (5), 2006 (4), and (4), 部分集合 (4), である (4), 非表示 (4), サイドバーに移動 (4), wikipedia (3), 二項関係 (3), springer (3), 定義域 (3), restriction (3), に対して (3), 詳細は (3), を参照 (3), 貼合せ補題 (3), 逆写像 (3), への制限は (3), dom (3), mapsto (3), 個の言語版 (2), 目次の表示 (2), 非表示を切り替え (2), コモンズ (2), 層の理論 (2), 英語版 (2), 関係代数 (2), 関連項目 (2), dunne (2), stoddart (2), theories (2), conrad (2), franzosa (2), robert (2), 2008 (2), prentice (2), hall (2), topology (2), munkres (2), 2000 (2), reprinted (2), verlag (2), edition (2), isbn (2), halmos (2), 1960 (2), company (2), stoll (2), 参考文献 (2), による (2), これは (2), から除くものである (2), しばしば (2), 同様に (2), range (2), subtraction (2), anti (2), domain (2), 反制限 (2), 左および右制限 (2), が開集合 (2), が成り立つ (2), に対し (2), 位相空間 (2), への制限 (2), 履歴を表示 (2), ツール (2), ログイン (2), アカウント作成 (2), ヘルプ (2), メインメニュー (2), 話題を追加, モバイルビュー, cookieに関する声明, 開発者, 行動規範, 法律および安全に関する連絡先, 免責事項, ウィキペディアについて, プライバシー, ポリシー, テキストは, のもとで利用できます, 追加の条件が適用される場合があります, 詳細については, を参照してください, 利用規約, クリエイティブ, 継承ライセンス, ページは, によってレンダリングされました, parsoid, 最終更新, 2022年3月13日, 日時は, で未設定ならば, utc, 個人設定, 隠しカテゴリ, isbnマジックリンクを使用しているページ, 説明が求められている文章がある記事, 数学に関する記事, カテゴリ, から取得, https, org, index, php, title, 制限_, oldid, 88496719, 関係モデル, 関係の制限, 制限と延長, 変位レトラクト, bill, unifying, programming, first, international, symposium, utp, walworth, castle, county, durham, february, revised, selected, computer, science, general, issues, colin, adams, david, pearson, introduction, pure, applied, james, upper, saddle, river, new, york, 1974, martino, fine, books, 2011, paperback, 978, 61427, 131, 387, 90092, paul, princeton, van, nostrand, naive, set, theory, freeman, sets, logic, axiomatic, の二項関係, と定義される, のすべての元を定義域, とも書かれる, の集合, で定義される, のすべての元を終域, と表記される, 値域減算, 値域反制限, 定義域減算, 定義域反制限, より一般に, の間のある, の制限, または, 定義域が, 値域が, でグラフが, であるような二項関係として定義できる, を定義することが出来る, 実際には, 二項関係が, 部分集合であるのと同様に, 関係とは, のことであると理解することで, 関係の制限も定義することが出来る, これらのケースは, のスキームには適合しない, 要説明, 値域制限, 右制限, 左制限, 定義域制限, これら条件をすべて満足する対象のあつまりは, を成すという, 最初の二つのみを満たすならば, という, 貼合せ条件, の開被覆, に対して切断, が与えられ, に対してその交わりへの, の制限が一致するとき, が成立するとき, 任意の, を満たす切断, が存在する, 局所性, のとき, で満たすならば, 開被覆, なる三つの開集合に対し, 制限射の, を満たす, の任意の開集合, 制限射, 上の恒等射である, 写像以外の対象のへの制限の概念の一般化は, の言葉で与えられる, 論では, の対象, が割り当てられ, それらが適当な条件を満足することが要求される, その最も重要な条件が, 包含関係にある開集合に対応する対象の任意の対の間の, であるとき, が存在して, 写像の制限と同様に以下の条件を満足する, 開集合, この結果に基づけば, 位相空間の閉集合たち, あるいは開集合たち, の上で定義されたふたつの連続写像から, それらを貼り合せて新しい連続写像を作ることができる, の部分集合, がともに閉, またはともに開, を満たすものとし, も位相空間とする, および, への制限がともに連続ならば, 自身連続である, における連続写像の貼り合せ補題は, 写像の連続性を制限写像の連続性に結び付けるものである, 位相空間論, 連続写像の貼合せ補題, は逆函数である, あるいは代わりに定義域を, に制限するならば, の負の平方根を与える函数が逆函数になる, 別な方法として逆函数が, となることを許すならば制限は必要なくなる, 多価函数, sqrt, となるから単射ではない, しかし定義域を, に制限するならば単射であり, この場合, 写像が逆を持つためには, であることが必要である, が単射でないとき, 部分的な逆, を定義域を制限して与えることができる場合がある, 例えば函数, の制限は連続である, 連続写像, の中への, 包含写像, 恒等写像, 写像の制限をさらに小さな集合へ制限したものは, もとの写像を直接小さな集合へ制限することと同じである, すなわち, ならば, の定義域全体, はもとの函数自身である, 函数は, の自然数の集合, への制限である, ガンマ函数, infty, で表すことができる, mid, 上の関係, として考えれば, への制限はグラフとして, デカルト積, なる写像を言う, 大雑把に言えば, もともとの, と同じだが, の上でのみ定義されているというような写像である, colon, は集合, から集合, を表すものとする, つまり, の定義域の, への制限として得られる写像を, で表す, upharpoonright, における写像の, せいげん, 写像のもともとの, 写像による対応関係を変えることなくそれよりも小さい集合を定義域に取り直す操作を言う, 同様の概念はより一般に二項関係や多項関係などに対しても定義することができる, 実数全体の成す集合, 上で定義された函数, を持たない, これを非負実数の集合に制限するならば逆函数を持ち, それは, と呼ばれる, 正の平方根函数, 逆函数, フリー百科事典, ウィキペディア, ウィキデータ項目, 他のプロジェクト, 印刷用バージョン, pdf, 形式でダウンロード, ブックの新規作成, 書き出し, レガシーパーサーに切り替え, 短縮urlを取得する, このページを引用, ページ情報, この版への固定リンク, ファイルをアップロード, 関連ページの更新状況, リンク元, 日本語, ノート, ページ, リンクを編集, українська, ไทย, русский, română, português, polski, nederlands, 한국어, italiano, galego, français, suomi, فارسی, español, english, ελληνικά, deutsch, čeština, català, العربية, 応用サブセクションを切り替えます, ページ先頭, 個人用ツール, ウィキペディアに関するお問い合わせ, バグの報告, お知らせ, 井戸端, 利用案内, 特別ページ, アップロード, ウィキメディア, 練習用ページ, おまかせ表示, 最近の更新, 新しいページ, 最近の出来事, コミュニティ, ポータル, メインページ, コンテンツにスキップ,

Text of the page (random words):
制限 数学 wikipedia コンテンツにスキップ メインメニュー メインメニュー サイドバーに移動 非表示 案内 メインページ コミュニティ ポータル 最近の出来事 新しいページ 最近の更新 おまかせ表示 練習用ページ アップロード ウィキメディア コモンズ 特別ページ ヘルプ ヘルプ 利用案内 井戸端 お知らせ バグの報告 ウィキペディアに関するお問い合わせ 検索 検索 表示 寄付 アカウント作成 ログイン 個人用ツール 寄付 アカウント作成 ログイン 目次 サイドバーに移動 非表示 ページ先頭 1 定義 2 例 3 性質 4 応用 応用サブセクションを切り替えます 4 1 逆写像 4 2 貼合せ補題 4 3 層 5 左および右制限 6 反制限 7 出典 8 参考文献 9 関連項目 目次の表示 非表示を切り替え 制限 数学 21 個の言語版 العربية català čeština deutsch ελληνικά english español فارسی suomi français galego italiano 한국어 nederlands polski português română русский ไทย українська 中文 リンクを編集 ページ ノート 日本語 閲覧 編集 履歴を表示 ツール ツール サイドバーに移動 非表示 操作 閲覧 編集 履歴を表示 全般 リンク元 関連ページの更新状況 ファイルをアップロード この版への固定リンク ページ情報 このページを引用 短縮urlを取得する レガシーパーサーに切り替え 印刷 書き出し ブックの新規作成 pdf 形式でダウンロード 印刷用バージョン 他のプロジェクト ウィキデータ項目 表示 サイドバーに移動 非表示 出典 フリー百科事典 ウィキペディア wikipedia 実数全体の成す集合 r 上で定義された函数 x 2 は 逆函数 を持たない これを非負実数の集合に制限するならば逆函数を持ち それは x の 正の平方根函数 と呼ばれる 数学 における写像の 制限 せいげん 英 restriction は 写像のもともとの 定義域 に対して 写像による対応関係を変えることなくそれよりも小さい集合を定義域に取り直す操作を言う 同様の概念はより一般に二項関係や多項関係などに対しても定義することができる 写像 f の定義域の 部分集合 a への制限として得られる写像を f a あるいは f a displaystyle f upharpoonright _ a で表す 定義 編集 f e f は集合 e から集合 f への 写像 を表すものとする つまり f の 定義域 は e dom f e である e の 部分集合 a に対し 写像 f の a への制限 とは f a a f x f x displaystyle f _ a colon a to f x mapsto f x なる写像を言う 1 大雑把に言えば f の a への制限は もともとの f と同じだが a dom f の上でのみ定義されているというような写像である 写像 f を デカルト積 e f 上の関係 x f x として考えれば f の a への制限はグラフとして g f a x f x g f x a displaystyle g f _ a x f x in g f mid x in a で表すことができる 例 編集 非 単射 関数 f r r x x 2 displaystyle f mathbb r to mathbb r x mapsto x 2 の r 0 displaystyle mathbb r _ 0 infty への制限は 単射 f r r x x 2 displaystyle f mathbb r _ to mathbb r x mapsto x 2 である 階乗 函数は ガンマ函数 の自然数の集合 n への制限である 性質 編集 写像 f x y の定義域全体 x への制限 f x f はもとの函数自身である 写像の制限をさらに小さな集合へ制限したものは もとの写像を直接小さな集合へ制限することと同じである すなわち a b dom f ならば f b a f a が成り立つ 集合 x 上の 恒等写像 の 部分集合 a への制限は a から x の中への 包含写像 である 2 連続写像 の制限は連続である 3 4 応用 編集 逆写像 編集 詳細は 逆写像 を参照 写像が逆を持つためには 単射 であることが必要である 写像 f が単射でないとき f の 部分的な逆 を定義域を制限して与えることができる場合がある 例えば函数 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 に制限するならば y の負の平方根を与える函数が逆函数になる 別な方法として逆函数が 多価函数 となることを許すならば制限は必要なくなる 貼合せ補題 編集 詳細は 連続写像の貼合せ補題 英語版 を参照 位相空間論 における連続写像の貼り合せ補題は 写像の連続性を制限写像の連続性に結び付けるものである 貼合せ補題 位相空間 a の部分集合 x y がともに閉 またはともに開 で a x y を満たすものとし b も位相空間とする 写像 f a b の x および y への制限がともに連続ならば f 自身連続である この結果に基づけば 位相空間の閉集合たち あるいは開集合たち の上で定義されたふたつの連続写像から それらを貼り合せて新しい連続写像を作ることができる 層 編集 詳細は 層の理論 を参照 写像以外の対象のへの制限の概念の一般化は 層 の言葉で与えられる 層 論では 位相空間 の各 開集合 u に対して 圏 の対象 f u が割り当てられ それらが適当な条件を満足することが要求される その最も重要な条件が 包含関係にある開集合に対応する対象の任意の対の間の 制限 射 である 即ち v u であるとき 射 res v u f u f v が存在して 写像の制限と同様に以下の条件を満足する x の任意の開集合 u に対し 制限射 res u u f u f u は f u 上の恒等射である w v u なる三つの開集合に対し 制限射の 合成 は res w v res v u res w u を満たす 局所性 u i が開集合 u の 開被覆 のとき 切断 s t f u が s u i t u i を各 u i で満たすならば s t が成り立つ 貼合せ条件 u i が開集合 u の開被覆 各 i に対して切断 s i f u i が与えられ 各対 u i u j に対してその交わりへの s i s j の制限が一致するとき 即ち s i u i u j s j u i u j が成立するとき 任意の i に対して s u i s i を満たす切断 s f u が存在する これら条件をすべて満足する対象のあつまりは 層 を成すという 最初の二つのみを満たすならば 前層 という 左および右制限 編集 より一般に e と f の間のある 二項関係 r の制限 あるいは 定義域制限 または 左制限 a r は 定義域が a 値域が f でグラフが g a r x y g r x a であるような二項関係として定義できる 同様に 右制限 あるいは 値域制限 r b を定義することが出来る 実際には 二項関係が e f 部分集合であるのと同様に 関係とは 部分集合 のことであると理解することで n 項 関係の制限も定義することが出来る これらのケースは 層 のスキームには適合しない 要説明 反制限 編集 定義域 e 終域 f の二項関係 r の 集合 a による 定義域反制限 domain anti restriction あるいは 定義域減算 domain subtraction は e a r と定義される これは a のすべての元を定義域 e から除くものである しばしば a r とも書かれる 5 同様に 二項関係 r の集合 b による 値域反制限 range anti restriction あるいは 値域減算 range subtraction は r f b で定義される これは b のすべての元を終域 f から除くものである しばしば r b と表記される 出典 編集 stoll p 5 halmos 1960 munkres 2000 conrad franzosa 2008 dunne stoddart 2006 参考文献 編集 stoll robert sets logic and axiomatic theories w h freeman and company halmos paul 1960 naive set theory princeton nj d van nostrand company reprinted by springer verlag new york 1974 isbn 0 387 90092 6 springer verlag edition reprinted by martino fine books 2011 isbn 978 1 61427 131 4 paperback edition munkres james r 2000 topology 2 upper saddle river prentice hall colin conrad adams david franzosa robert 2008 introduction to topology pure and applied pearson prentice hall dunne s stoddart bill 2006 unifying theories of programming first international symposium utp 2006 walworth castle county durham uk february 5 7 2006 revised selected computer science and general issues springer 関連項目 編集 変位レトラクト 写像 制限と延長 二項関係 関係の制限 関係代数 関係モデル 制限 選択 関係代数 英語版 https ja wikipedia org w index php title 制限_ 数学 oldid 88496719 から取得 カテゴリ 層の理論 写像 数学に関する記事 隠しカテゴリ 説明が求められている文章がある記事 isbnマジックリンクを使用しているページ 最終更新 2022年3月13日 日 03 22 日時は 個人設定 で未設定ならば utc ページは parsoid によってレンダリングされました テキストは クリエイティブ コモンズ 表示 継承ライセンス のもとで利用できます 追加の条件が適用される場合があります 詳細については 利用規約 を参照してください プライバシー ポリシー ウィキペディアについて 免責事項 法律および安全に関する連絡先 行動規範 開発者 統計 cookieに関する声明 モバイルビュー 検索 検索 目次の表示 非表示を切り替え 制限 数学 21 個の言語版 話題を追加