ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示
ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示

2025年9月14日日曜日

1301: セット(集合)からトポロジカルスペース(空間)の中へのマップ(写像)に対して、オープンサブセット(開部分集合)たちのプリイメージ(前像)たちのセット(集合)はトポロジーである

<このシリーズの前の記事 | このシリーズの目次 |

セット(集合)からトポロジカルスペース(空間)の中へのマップ(写像)に対して、オープンサブセット(開部分集合)たちのプリイメージ(前像)たちのセット(集合)はトポロジーであることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1300: バイジェクティブ(全単射)コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)に対して、もしも、ドメイン(定義域)がコンプリート(完備)である場合、コドメイン(余域)はコンプリート(完備)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

バイジェクティブ(全単射)コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)に対して、もしも、ドメイン(定義域)がコンプリート(完備)である場合、コドメイン(余域)はコンプリート(完備)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1299: 'ノルム付きベクトルたちスペース(空間)たち - リニア(線形)アイソメトリー(等長写像)たち'アイソモーフィズム(同形写像)に対して、もしも、ドメイン(定義域)がコンプリート(完備)である場合、コドメイン(余域)はコンプリート(完備)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

'ノルム付きベクトルたちスペース(空間)たち - リニア(線形)アイソメトリー(等長写像)たち'アイソモーフィズム(同形写像)に対して、もしも、ドメイン(定義域)がコンプリート(完備)である場合、コドメイン(余域)はコンプリート(完備)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1298: 'ノルム付きベクトルたちスペース(空間)たち - リニア(線形)アイソメトリー(等長写像)たち'カテゴリー(圏)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

'ノルム付きベクトルたちスペース(空間)たち - リニア(線形)アイソメトリー(等長写像)たち'カテゴリー(圏)の定義

話題


About: カテゴリー(圏)
About: ベクトルたちスペース(空間)

この記事の目次

1297: バイジェクティブ(全単射)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)に対して、インバース(逆)は'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

バイジェクティブ(全単射)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)に対して、インバース(逆)は'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1296: コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップする

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップすることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1295: リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップする

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニア(線形)'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップすることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1294: 'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

'ノルム付きベクトルたちスペース(空間)'アイソメトリー(等長写像)の定義

話題


About: ベクトルたちスペース(空間)

この記事の目次

1293: 'メトリックスペース(計量付き空間)'アイソメトリー(等長写像)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

'メトリックスペース(計量付き空間)'アイソメトリー(等長写像)の定義

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1292: コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)バイジェクション(全単射)に対して、インバース(逆)はコンプレックス(複素)-コンジュゲート(共役)-リニア(線形)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)バイジェクション(全単射)に対して、インバース(逆)はコンプレックス(複素)-コンジュゲート(共役)-リニア(線形)であることの記述/証明

話題


About: モジュール(加群)

この記事の目次

1291: リニアマップ(線形写像)からコンプレックス(複素)-コンジュゲート(共役)-リニア(線形)マップ(写像)を構成するある方法

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアマップ(線形写像)からコンプレックス(複素)-コンジュゲート(共役)-リニア(線形)マップ(写像)を構成するある方法の記述/証明

話題


About: モジュール(加群)

この記事の目次

1290: ベクトルたちスペース(空間)はベーシス(基底)を持つ

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ベクトルたちスペース(空間)はベーシス(基底)を持つことの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1289: コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)マップ(写像)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

コンプレックス(複素)-コンジュゲート(共役)-リニア(線形)マップ(写像)の定義

話題


About: モジュール(加群)

この記事の目次

1288: セット(集合)に対して、トポロジーたちのユニオン(和集合)は必ずしもトポロジーではない

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

セット(集合)に対して、トポロジーたちのユニオン(和集合)は必ずしもトポロジーではないことの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1287: セット(集合)に対して、トポロジーたちのインターセクション(共通集合)はトポロジーである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

セット(集合)に対して、トポロジーたちのインターセクション(共通集合)はトポロジーであることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1286: トポロジカルスペース(空間)に対して、サブセット(部分集合)たちのローカルにファイナイト(有限)セット(集合)のインターセクション(共通集合)のバウンダリー(境界)はサブセット(部分集合)たちのバウンダリー(境界)たちのユニオン(和集合)内に包含されている

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

トポロジカルスペース(空間)に対して、サブセット(部分集合)たちのローカルにファイナイト(有限)セット(集合)のインターセクション(共通集合)のバウンダリー(境界)はサブセット(部分集合)たちのバウンダリー(境界)たちのユニオン(和集合)内に包含されていることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

2025年9月7日日曜日

1285: トポロジカルスペース(空間)たち間コンティニュアス(連続)インジェクション(単射)に対して、サブセット(部分集合)のバウンダリー(境界)のイメージ(像)はサブセット(部分集合)のイメージ(像)のバウンダリー(境界)内に包含されている

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

トポロジカルスペース(空間)たち間コンティニュアス(連続)インジェクション(単射)に対して、サブセット(部分集合)のバウンダリー(境界)のイメージ(像)はサブセット(部分集合)のイメージ(像)のバウンダリー(境界)内に包含されていることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次

1284: コンプリート(完備)メトリックスペース(計量付き空間)からメトリックスペース(計量付き空間)の中へのコンティニュアス(連続)マップ(写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップする

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

コンプリート(完備)メトリックスペース(計量付き空間)からメトリックスペース(計量付き空間)の中へのコンティニュアス(連続)マップ(写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップすることの記述/証明

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1283: サブセット(部分集合)たちのインターセクション(共通集合)とサブセット(部分集合)のユニオン(和集合)はサブセット(部分集合)たちの各々と後者サブセット(部分集合)のユニオン(和集合)たちのインターセクション(共通集合)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

サブセット(部分集合)たちのインターセクション(共通集合)とサブセット(部分集合)のユニオン(和集合)はサブセット(部分集合)たちの各々と後者サブセット(部分集合)のユニオン(和集合)たちのインターセクション(共通集合)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1282: メトリックスペース(計量付き空間)たち間リプシッツマップ(写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップする

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

メトリックスペース(計量付き空間)たち間リプシッツマップ(写像)はコーシーシーケンス(列)をコーシーシーケンス(列)へマップすることの記述/証明

話題


About: メトリックスペース(計量付き空間)

この記事の目次