2022年1月16日日曜日

1: 定義の一覧

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
本サイトにてこれまで議論された定義の一覧

話題


About: 定義

この記事の目次

開始コンテキスト


  • なし

ターゲットコンテキスト



  • 読者は、本サイトにてこれまで議論された定義の一覧を知り、それらの内のいずれのページ（その定義の記述がある）へもジャンプできる。

オリエンテーション


本サイトにてこれまで議論された命題の一覧があります。.

本体

1: 定義の一覧


タイトル
セカンドカウンタブル（可算）トポロジカルスペース（空間）
アーベリアングループ（アーベル群）
ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）
トポロジカルスペース（空間）をマップ（写像）を介してトポロジカルスペース（空間）へアタッチして得られたアジャンクショントポロジカルスペース（空間）
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）のアファインコンビネーション
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）によってスパンされる（張られる）アファインセット（集合）からのアファインマップ（写像）
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）によってスパンされる（張られる）コンベックスセット（集合）からのアファインマップ（写像）
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）によってスパンされる（張られる）アファインセット（集合）
アファインシンプレックス（単体）
リアル（実）ベクトルたちスペース（空間）のアファインサブセット（部分集合）
リアル（実）ベクトルたちスペース（空間）上のポイントたちのアファインインディペンデント（独立）セット（集合）
アファインシンプレックス（単体）のフェイスたちのバリセンター（重心）たちのアセンディング（昇順）シーケンス（列）
アファインシンプレックス（単体）のフェイスたちのアセンディング（昇順）シーケンス（列）
コミュータティブ（可換）リング（環）の要素のアソーシエイトたち
バナッハスペース（空間）
アファインシンプレックス（単体）のバリセンター（重心）
シンプリシャルコンプレックスのバリセントリック（重心による）サブデビジョン（分割）
モジュール（加群）のベーシス（基底）
トポロジカルスペース（空間）のベーシス（基底）
バイジェクション（全単射）
トポロジカルスペース（空間）のサブセット（部分集合）のバウンダリー（境界）
\(C^\infty\)エンベディング（埋め込み）
\(C^\infty\)イマージョン
ランク\(k\)の\(C^\infty\)ローカルにトリビアルなサージェクション（全射）
\(C^\infty\)マニフォールド（多様体）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）
\(C^\infty\)サブマージョン
\(C^\infty\)トリビアライジングオープンサブセット（開部分集合）および\(C^\infty\)ローカルトリビアライゼーション
ランク\(k\)の\(C^\infty\)ベクトルたちバンドル（束）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、上の\(C^\infty\)ベクトルたちフィールド（場）
ファイナイト（有限）ディメンショナル（次元）リアル（実）ベクトルたちスペース（空間）に対するカノニカル（自然な）\(C^\infty\)アトラス
ファイナイト（有限）次元リアル（実）ベクトルたちスペース（空間）に対するカノニカル（自然な）トポロジー
カテゴリー（圏）
%カテゴリー名%アイソモーフィズム（同形写像）
メトリックスペース（計量付き空間）上のコーシーシーケンス（列）
グループ（群）のセンター（中心）
グループ（群）上の要素のセントラライザー（中心化群）
セット（集合）内のチェイン（鎖）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）上のポイントの周りのチャートボール（球）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）上のポイントの周りのチャートハーフボール（半球）
\(C^\infty\)マニフォールド（多様体）上のチャート
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）上のチャート
トポロジカルマニフォールド（多様体）上のチャート
バウンダリー（境界）付きトポロジカルマニフォールド（多様体）上のチャート
バウンダリー（境界）付きの\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たちの任意のサブセット（部分集合）たちの間の\(C^k\)マップ（写像）、ここで、\(k\)は\(\infty\)を含む
クローズド（閉）アッパーハーフ（上半）ユークリディアン\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き
クローズド（閉）アッパーハーフ（上半）ユークリディアントポロジカルスペース（空間）
クローズドセット（閉集合）
トポロジカルスペース（空間）のサブセット（部分集合）のクロージャー（閉包）
トポロジカルスペース（空間）のコンパクトサブセット（部分集合）
コンパクトトポロジカルスペース（空間）
ベクトルたちサブスペース（部分空間）のコンプリメンタリーサブスペース（補部分空間）
コンプリート（完備）メトリックスペース（計量付き空間）
カテゴリー（圏）上のコングルーエンス
サブグループ（部分群）の、要素によるコンジュゲート（共役）サブグループ（部分群）
グループ（群）に対する要素によるコンジュゲーション
サブセット（部分集合）のクロージャー（閉包）
コネクテッド（連結された）トポロジカルコンポーネント
コネクテッド（連結された）トポロジカルスペース（空間）
コンティヌアス（連続）エンベディング（埋め込み）
コンティニュアス（連続）ノルム付きベクトルたちスペース（空間）たちマップ（写像）
コンティヌアス（連続）マップ（写像）
コントラクティブル（縮められる）トポロジカルスペース（空間）
コントラバリアント（反変）ファンクター（関手）
ダイレクテッド（有向）インデックスセット（集合）によるネットのコンバージェンス（収束ポイント）
メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンス（収束点）
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）のコンベックスコンビネーション
リアル（実）ベクトルたちスペース（空間）上のベースポイントたちのアファインインディペンデント（独立）でないかもしれないセット（集合）によってスパンされる（張られる）コンベックスセット（集合）
リアル（実）ベクトルたちスペース（空間）のコンベックスサブセット（部分集合）
コバリアント（共変）ファンクター（関手）
カバリングマップ（写像）
トポロジカルスペース（空間）上のカーブ
要素によるシクリックグループ（循環群）
トポロジカルスペース（空間）のデフォーメイションリトラクト
デフォーメイションリトラクション
トポロジカルスペース（空間）のデンス（密）サブセット（部分集合）
ポイントにおける\(C^k\)ファンクション（関数）たちのデライベイション（微分）
ノルム付きベクトルたちスペース（空間）たちマップ（写像）のデリバティブ（微分係数）
ファイナイト（有限）ディメンショナル（次元）リアル（実）ベクトルたちスペース（空間）内のベクトルたちのリアル（実）-1-パラメータファミリーのデリバティブ（微分係数）
ダイコトミカリー（2分割的に）ディスジョイント（互いに素）なセット（集合）たちのセット（集合）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のディフェオモーフィズム
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たち間\(C^\infty\)マップ（写像）のポイントにおけるディファレンシャル
ダイヘドラルグループ（二面体群）
ベクトルたちスペース（空間）のディメンション（次元）
ストラクチャー（構造）たちのダイレクトプロダクト
モジュール（加群）たちのダイレクトサム
ダイレクテッドセット（有向集合）
ディレクショナル（方向）デリバティブ（微分）
ディスジョイント（互いに素な）ユニオン（和集合）トポロジー
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き
セット（集合）上のイクイバレンスリレーション（同値関係）
ベクトルたちスペース（空間）上のノルムたち上のイクイバレンスリレーション（同値関係）
ユークリディアンノルム付きユークリディアンベクトルたちスペース（空間）
ユークリディアン\(C^\infty\)マニフォールド（多様体）
ユークリディアンベクトルたちスペース（空間）上のユークリディアンインナープロダクト（内積）
ユークリディアンメトリック（計量）
ユークリディアンベクトルたちスペース（空間）上のユークリディアンノルム
ユークリディアントポロジカルスペース（空間）
ユークリディアントポロジー
ユークリディアンベクトルたちスペース（空間）
トポロジカルスペース（空間）上のエグゾースチョンファンクション（関数）
トポロジカルスペース（空間）のコンパクトサブセット（部分集合）たちによるエグゾースチョン
アファインシンプレックス（単体）のフェイス
オリエンテイテッド（方向付けされた）アファインシンプレックス（単体）のフェイス
フィールド（体）
%フィールド（体）名%ベクトルたちスペース（空間）
ダイレクテッドセット（有向集合）たち間のファイナルマップ（写像）
'ファイナイト（有限）シンプリシャルコンプレックスたち - シンプリシャルマップ（写像）たち'カテゴリー（圏）
'ファイナイト（有限）シンプリシャルコンプレックスたち - シンプリシャルマップ（写像）たち'カテゴリー（圏）からTopへのファンクター（関手）
有限数オープンセット（開集合）たちシーケンスコネクテッド（連結された）オープンセット（開集合）たちペア
ファイナイト（有限）プロダクト\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き
ファイナイトリー（有限に）ジェネレイテッド（生成された）モジュール（加群）
フロベニウスマトリックス（行列）ノルム
ファンクション（関数）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）上方のファンクション（関数）
ベクトルたちスペース（空間）のジェネラルリニア（線形）グループ（群）
ジェネラルリニア（線形）リーアルジェブラ（多元環）
モジュール（加群）のジェネレイター（作成元たち）
ポイントにおける\(C^k\)ファンクション（関数）たちのジャーム（芽）
最大共通ディバイザー（因子）たちドメイン
コミュータティブ（可換）リング（環）のサブセット（部分集合）の最大共通ディバイザー（因子）たち
グループ（群）
グループ（群）アクション
グループ（群）、ファイナイト（有限）数のノーマルサブグループ（正規部分群）たちのダイレクトサムとして
ハウスドルフトポロジカルスペース（空間）
ホメオモーフィズム（位相同形写像）
ホモトピックマップ（写像）たち
リング（環）のアイディアル（イデアル）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のイマーストサブマニフォールド、バウンダリー（境界）付き
インジェクション（単射）
インテジャー（整数）たちリング（環）
インテグラルドメイン（整域）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のインテリア（内部）\(C^\infty\)マニフォールド（多様体）
トポロジカルスペース（空間）のサブセット（部分集合）のインテリア（内部）
コミュータティブ（可換）リング（環）のイリデューシブル（約分不能）要素
ファイナイト（有限）セット（集合）のラテン方陣
コミュータティブ（可換）リング（環）のサブセット（部分集合）の最小共通マルチプル（倍）たち
レフト（左）R-モジュール（加群）
リーアルジェブラ（多元環）
コンティニュアス（連続）マップ（写像）のカバリングマップ（写像）によるリフト
ノルム付きベクトルたちスペース（空間）たちマップ（写像）のポイントにおけるリミット
リニア（線形）マップ（写像）
モジュール（加群）のリニア（線形）にインディペンデント（独立）なサブセット（部分集合）
リニアリーオーダードセット（線形順序集合）
\(C^\infty\)ベクトルたちバンドル（束）上のローカル\(C^\infty\)フレーム
ローカルにコンパクトなトポロジカルスペース（空間）
ローカルにコネクテッド（連結された）トポロジカルスペース（空間）
トポロジカルスペース（空間）のサブセット（部分集合）たちのローカルにファイナイト（有限な）セット（集合）
ローカルにパスコネクテッド（連結された）トポロジカルスペース（空間）
ローカルにトポロジカルにクローズド（閉）上半面ユークリディアントポロジカルスペース（空間）
ローカルにトポロジカルにユークリディアンなトポロジカルスペース（空間）
ランク\(r\)のローカルにトリビアルなサージェクション（全射）
マップ（写像）
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）でポイントにおいて\(C^k\)なもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む
バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）でポイントにおいてローカルにディフェオモーフィックであるもの
ユークリディアン\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）間のマップ（写像）でポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む\(k\)
ポイントにおいてコンティヌアス（連続）なマップ（写像）
ユークリディアン\(C^\infty\)マニフォールド（多様体）のオープンサブセット（開部分集合）からユークリディアン\(C^\infty\)マニフォールド（多様体）のサブセット（部分集合）の中へのマップ（写像）でポイントにおいて\(C^k\)なもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む
ドメイン（定義域）のサブセット（部分集合）へレラティブ（相対的）にホモトピックなマップ（写像）たち
ベクトルノルムたちによってインデュースト（誘導された）マトリックスノルム
トポロジカルマニフォールド（多様体）に対するマキシマル（最大）アトラス
バウンダリー（境界）付きトポロジカルマニフォールド（多様体）に対するマキシマルアトラス
セット（集合）のマキシマル（最大）要素
シンプリシャルコンプレックス内のマキシマル（極大）シンプレックス（単体）
メトリック（計量）
リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のノルムによってインデュースト（誘導された）メトリック（計量）
メトリックスペース（計量付き空間）
モノイド
モーフィズム（射）
モーション
ポイントにおけるネイバーフッド（近傍）ベーシス（基底）
ポイントのネイバーフッド（近傍）
サブセット（部分集合）のネイバーフッド（近傍）
ダイレクテッド（有向）インデックスセット（集合）によるネット
リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のインナープロダクト（内積）によってインデュースト（誘導された）ノルム
グループ（群）のノーマルサブグループ（正規部分群）
ノーマル（正規）トポロジカルスペース（空間）
サブグループ（部分群）のグループ（群）上におけるノーマライザー（正規化群）
ポイントにおいてコンティニュアス（連続）なノルム付きベクトルたちスペースたちマップ
トポロジカルスペース（空間）のノーホエアデンス（どこでも密でない）サブセット（部分集合）
メトリックスペース（計量付き空間）上のポイントの周りのオープンボール（開球）
オープンセット（開集合）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のオープン（開）サブマニフォールド（部分多様体）、バウンダリー（境界）付き
グループ（群）の要素のオーダー
オーダード（順序付き）ペア
オリエンテイテッド（方向付けされた）アファインシンプレックス（単体）
オーソゴーナル（直交）リニア（線形）マップ（写像）
パーシャリーオーダードセット（半順序集合）
パスコネクテッド（連結された）トポロジカルコンポーネント
パスコネクテッド（連結された）トポロジカルスペース（空間）
シーケンス（列）のパーミュテーション（並べ替え）
ポリッシュスペース（空間）
コミュータティブ（可換）リング（環）上方のポリノミアル（多項式）たちリング（環）
セット（集合）のパワーセット（集合）
リング（環）のプリンシパル（主要）アイディアル（イデアル）
ベクトルの、ベクトルたちサブスペース（部分空間）の中への、コンプリメンタリーサブスペース（補部分空間）についての、プロジェクション（射影）
プロパーマップ（写像）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のプロパーにエンベッデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き
プリンシパル（主要な）インテグラルドメイン（整域）
プロダクトマップ（写像）
プロダクトセット（集合）
プロダクトトポロジカルスペース（空間）
プロダクトトポロジー
クウォシェント（商）カテゴリー（圏）
グループ（群）のノーマルサブグループ（正規部分群）によるクウォシェント（商）グループ（群）
クウォシェント（商）マップ（写像）
リング（環）のアイディアル（イデアル）によるクウォシェント（商）リング（環）
クオシエント（商）セット（集合）
セット（集合）上の、マップ（写像）に関するクオシエント（商）トポロジー
リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のインナープロダクト（内積）
インテジャー（整数）たちモジュロナチュラルナンバー（自然数）グループ（群）
セット（集合）のインターセクション（共通集合）
グループ（群）の要素によるサブグループ（部分群）の左または右コセット（剰余類）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、のレギュラードメイン
リレーション（関係）
クオシエント（商）セット（集合）のレプリゼンタティブ（代表）たちセット（集合）
リストリクテッド（制限された）\(C^\infty\)ベクトルたちバンドル（束）
トポロジカルスペース（空間）のリトラクト
リトラクション
%リング（環）名%モジュール（加群）
リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のノルム
ノルム付きベクトルたちスペース（空間）
レギュラー（正則）トポロジカルスペース（空間）
グループ（群）のリバースト（逆向きにされた）オペレーターグループ（群）
リング（環）
同一長マルチディメンショナル（複数次元）アレイ（配列）の、インデックスたちのセット（集合）に関してアンチシンメトライズド（反対称化された）もの
同一長マルチディメンショナル（複数次元）アレイ（配列）の、インデックスたちのセット（集合）に関してシンメトライズド（対称化された）もの
コンティニュアス（連続）サージェクション（全射）のコドメイン（余域）のサブセット（部分集合）に沿ったセクション（断面）
コンティニュアス（連続）マップ（写像）のセクション（断面）
セパラブル（可分）トポロジカルスペース（空間）
シーケンス（列）
セット（集合）要素たちマイナスセット（集合）
シンプルグループ（単純群）
アファインシンプレックス（単体）のシンプレックスバウンダリー（境界）
アファインシンプレックス（単体）のシンプレックスインテリア（内部）
シンプリシャルコンプレックス
シンプリシャルマップ（写像）
シンプリー（単純に）コネクテッド（連結された）トポロジカルスペース（空間）
スキュード（歪められた）ダイヘドラルグループ（二面体群）
ユークリディアンセット（集合）上のスライシングマップ（写像）
ユークリディアンセット（集合）上のスライシングアンドハーフ化マップ（写像）
スタンダードシンプレックス（単体）
\(\mathbb{R}^n\)に対するスタンダードトポロジー
シンプリシャルコンプレックス内のバーテックス（頂点）のスター
ストラクチャー（構造）
%ストラクチャー（構造）種類名%エンドモーフィズム（自己準同形写像）
%ストラクチャー（構造）種類名%ホモモーフィズム（準同形写像）
トポロジカルスペース（空間）のサブベーシス（基底）
グループ（群）のサブセット（部分集合）によって生成されたサブグループ（部分群）
ダイレクテッド（有向）インデックスセット（集合）によるネットのサブネット
トポロジカルスペース（空間）のサブセット（部分集合）のサブスペース（部分空間）トポロジー
トポロジカルスペース（空間）からフィールド（体）の中へのマップ（写像）のサポート
サージェクション（全射）
グループ（群）のシローp-サブグループ（部分群）
タンジェント（接）ベクトル
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、上方のタンジェント（接）ベクトルたちバンドル（束）
ポイントにおけるタンジェント（接）ベクトルたちスペース（空間）
Topカテゴリー（圏）
\(Top^*\)カテゴリー（圏）
\(Top^2\)カテゴリー（圏）
2ポイントたちのトポロジカルコネクテッド（連結された）性
トポロジカルマニフォールド（多様体）
バウンダリー（境界）付きトポロジカルマニフォールド（多様体）
トポロジカルパス
2ポイントたちのトポロジカルパスコネクテッド（連結された）性
トポロジカルスペース（空間）
トポロジカルサブスペース（部分空間）
トポロジカルサム
トポロジー
メトリック（計量）によってインデュースト（誘導された）トポロジー
サブセット（部分集合）のトランジティブ（推移的）クロージャー（閉包）
トリビアライジングオープンサブセット（開部分集合）およびローカルトリビアライゼーション
セット（集合）のユニオン（和集合）
ユニークファクタライゼイションドメイン（因子分解領域）
リング（環）のユニットたち
ランク\(k\)のベクトルたちバンドル（束）
\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、上の、\(C^\infty\)カーブのポイントにおけるベロシティ
シンプリシャルコンプレックス内のバーテックス（頂点）
アファインシンプレックス（単体）のバーテックス（頂点）
ウェッジプロダクト（楔積）
ポインテッドマップ（写像）たちのウェッジサム（楔和）
ポインテッドセット（集合）たちのウェッジサム（楔和）
ポインテッドトポロジカルスペース（空間）たちのウェッジサム（楔和）
ウェルオーダードセット（整列集合）
nシンメトリックグループ（対称群）上のmサイクル（巡回置換）
\(n\)キューブ、\(p\)を中心とし辺長たち\(l\)を持ちインデックスたち\(B\)に関する
\(n\)ディスク、\(p\)を中心とし半径\(r\)を持ちインデックスたち\(B\)に関する
nシンメトリックグループ（対称群）
p-グループ（群）

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: