语言
没有数据
通知
无通知
のコピーに対応し、それら k× のコピーが合わさって P(V) 上の k×-束を成す。k× は k と一点の違いしかないから、各繊維にその点を添加して、P(V) 上の束にすることができる。この直線束を自然な直線束 (tautological line bundle) と呼ぶ。またこの直線束を O (
これらの束は領域理論において研究される。 ほとんどの半順序集合は束を成さない。例えば以下のようなものは束にならない。 離散的半順序集合、すなわち x ≤ y ならば x = y となるような半順序集合が束となるのは、それが高々ひとつしか元を持たないときであり、かつそのときに限る。特に二元からなる離散的半順序集合は束ではない。
(1)上代の長さの単位。 四本の指で握った幅。
(1)〔数〕
※一※ (名)
南極収束線(なんきょくしゅうそくせん)もしくは南極収斂線 (Antarctic Convergence) は南極前線 (Antarctic Polar Front) ともいわれる、南極を一周する曲線。 南極収束線は、冷たい南極の海水のうち偏西風によって北向きに輸送される海水と亜南極
線形拘束オートマトン(せんけいこうそくオートマトン、Linear Bounded Automaton)は、制限されたチューリングマシンである。LBA と略記される。有限種類の文字を保持できるテープとそのテープの読み書きができるヘッドを持ち、有限数の状態を持つ。チューリングマシンと異なるのは LBA
春川束草線(チュンチョンソクチョせん)は、大韓民国江原特別自治道春川市と同束草市を結ぶ計画の韓国鉄道公社の鉄道路線である。 2020年3月3日 - 基本計画告示。 2027年 - 開業予定。 全線は江原特別自治道に所在。 春川駅以外は仮称。 ^ 国土交通部告示第2020-222号