ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

線型部分空間

索引 線型部分空間

数学、とくに線型代数学において、線型部分空間(せんけいぶぶんくうかん、linear subspace)または部分ベクトル空間(ぶぶんベクトルくうかん、vector subspace)とは、ベクトル空間の部分集合で、それ自身が元の空間の演算により線型空間になっているもののことである。 ベクトル空間のある部分集合が、それ自身ある演算に関してベクトル空間の構造を持っていたとしても、その演算がもとの空間の演算でないならば部分線型空間とは呼ばない、ということに注意されたい。また、文脈により紛れの恐れのない場合には、線型部分空間のことを単に部分空間と呼ぶことがある。.

15 関係: 可換体平面代数的構造ユークリッド幾何学ベクトル空間アフィン空間共通部分 (数学)線型代数学線型写像直線超平面部分空間部分集合零空間数学

可換体

抽象代数学において、可換体(かかんたい、corps commutatif)あるいは単に体(たい、field)本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。(ガロワ理論を含む)体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

新しい!!: 線型部分空間と可換体 · 続きを見る »

平面

平面(へいめん、plane)とは、平らな表面のことである広辞苑 第五版、p.2395「平面」。平らな面。 一般的には曲面や立体などと対比されつつ理解されている。.

新しい!!: 線型部分空間と平面 · 続きを見る »

代数的構造

数学において代数的構造(だいすうてきこうぞう、algebraic structure)とは、集合に定まっている算法(演算ともいう)や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系(だいすうけい、algebraic system)であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法(演算の規則)の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野(あるいは人)によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.

新しい!!: 線型部分空間と代数的構造 · 続きを見る »

ユークリッド幾何学

ユークリッド幾何学(ユークリッドきかがく、Euclidean geometry)は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデスの著書『ユークリッド原論』に由来する。詳しい説明は『ユークリッド原論』の記事にある。.

新しい!!: 線型部分空間とユークリッド幾何学 · 続きを見る »

ベクトル空間

数学、特に線型代数学におけるベクトル空間(ベクトルくうかん、vector space)、または、線型空間(せんけいくうかん、linear space)は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積(「スケール変換」)を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件(後述)を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である(同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す)。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元(大雑把にいえばその空間の独立な方向の数を決めるもの)によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は(直線や平面あるいはそれらの高次元での対応物といったような)古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.

新しい!!: 線型部分空間とベクトル空間 · 続きを見る »

アフィン空間

数学において、アフィン空間(あふぃんくうかん、affine space, アファイン空間とも)または擬似空間(ぎじくうかん)とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。(代数的な)ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。 1次元のアフィン空間はアフィン直線、2次元のアフィン空間はと呼ばれる。.

新しい!!: 線型部分空間とアフィン空間 · 続きを見る »

共通部分 (数学)

数学において、集合族の共通部分(きょうつうぶぶん、intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、)、積集合(せきしゅうごう)、積(せき)、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.

新しい!!: 線型部分空間と共通部分 (数学) · 続きを見る »

線型代数学

線型代数学(せんけいだいすうがく、linear algebra)とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学(微分積分学)とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.

新しい!!: 線型部分空間と線型代数学 · 続きを見る »

線型写像

数学の特に線型代数学における線型変換(せんけいへんかん、linear transformation、一次変換)あるいは線型写像(せんけいしゃぞう、linear mapping)は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の(零写像でない)線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは(体上の加群としての)ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像(自己準同型)の意味で用いていることも少なくない。また函数解析学の分野では、(特に無限次元空間上の)線型写像のことを「線型作用素」(せんけいさようそ、linear operator)と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」(いちじけいしき、linear form, one-form; 線型形式; 1-形式)とも呼ばれる一次の微分形式(一次微分形式もしくは微分一次形式; differential one-form)を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.

新しい!!: 線型部分空間と線型写像 · 続きを見る »

直線

線の正確な表示(直線は太さを持たない図形である為、厳密に正しく表示した場合、視覚では確認不能となる) 線分 直線(ちょくせん、line)とは、太さを持たない幾何学的な対象である曲線の一種で、どこまでもまっすぐ無限に伸びて端点を持たない。まっすぐな線には直線の他に、有限の長さと両端を持つ線分(せんぶん、line segment、segment)と、一つの端点を始点として無限にまっすぐ伸びた半直線(はんちょくせん、ray、half-line)がある。.

新しい!!: 線型部分空間と直線 · 続きを見る »

超平面

初等幾何学における超平面(ちょうへいめん、hyperplane)の概念は、二次元の平面をそれ以外の次元へ一般化するものである。''n''-次元空間における超平面とは、次元が n − 1 の平坦な部分空間をいう。その特質として、一つの超平面は全体空間を二つの半空間に分割する。.

新しい!!: 線型部分空間と超平面 · 続きを見る »

部分空間

数学における部分空間(ぶぶんくうかん、subspace)は、ある構造を持った集合 X について、それを空間と呼ぶとき、その構造を保つような X の部分集合あるいは、構造を保つように X に埋め込まれた別の集合 A のことをいう。.

新しい!!: 線型部分空間と部分空間 · 続きを見る »

部分集合

集合 A が集合 B の部分集合(ぶぶんしゅうごう、subset; 下位集合)であるとは、A が B の一部(あるいは全部)の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.

新しい!!: 線型部分空間と部分集合 · 続きを見る »

零空間

数学、とくに関数解析学において、線型作用素 A: V → W の零空間(ぜろくうかん、れいくうかん、null space)あるいは核空間(かくくうかん、kernel space)とは、 のことである。Nul(A) は N(A) や Ker(A) などとも書かれる。とくに Ker は零空間が線型写像としての A の核 (kernel) にあたることを意味するのであるが、零空間という語を用いる文脈においては、核ということばを熱核 などの積分核に対して用いていることがほとんどであろうから注意されたい。 また、零空間という語をもちいる文脈においては、線型写像の像 は値域 と呼ばれ、線型作用素 A の値域は Ran(A) や R(A) と綴るのが通例のようである。 零空間は、ベクトル空間 V の部分空間である。さらに、 商空間 V/(Ker A) は、 A の像 Ran(A) に同型である; 特に次元について が成り立つ。 Nul A.

新しい!!: 線型部分空間と零空間 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: 線型部分空間と数学 · 続きを見る »

ここにリダイレクトされます:

線形部分空間部分ベクトル空間部分線型空間

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »