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

数学的構造

索引 数学的構造

数学における構造(こうぞう、mathematical structure)とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.

67 関係: 古代可微分多様体可換体合同算術多項式環多様体座標代数的構造位相の特徴付け位相幾何学位相空間体論微分幾何学微分法圏論ポアンカレ予想ユークリッド幾何学リーマン予想リヒャルト・デーデキントレオポルト・クロネッカーヴェイユ予想ヘルマン・グラスマンニコラ・ブルバキベルンハルト・リーマンベクトルベクトル空間アルキメデスアンドレ・ヴェイユアイザック・ニュートンインターネット百科事典エヴァリスト・ガロアエウドクソスカミーユ・ジョルダンカール・フリードリヒ・ガウスガロア理論ゴットフリート・ライプニッツジュゼッペ・ペアノステファン・バナフ冪集合円積問題写像全順序公理共通部分 (数学)積分法筑摩書房線型代数学群論直積Disquisitiones Arithmeticae...順序集合複素数解析幾何学角の三等分問題論理式除法の原理構造主義準同型有限体数学数学基礎論数学原論数学史数学上の未解決問題数学的宇宙仮説整数環17世紀 インデックスを展開 (17 もっと) »

古代

古代(こだい、)とは、世界の歴史の時代区分で、文明の成立から古代文明の崩壊までの時代を指す。「歴史の始まり」を意味する時代区分である。古典的な三時代区分の一つであり、元来は古代ギリシア・古代ローマを指した(古典古代)。歴史家にとっては語ることのできる歴史の始まり(書き出し)を意味した。考古学の発達が歴史記述の上限を大幅に拡大したと言える。.

新しい!!: 数学的構造と古代 · 続きを見る »

可微分多様体

数学において、可微分多様体(かびぶんたようたい、differentiable manifold)、あるいは微分可能多様体(びぶんかのうたようたい)は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート(座標近傍、局所座標)の集まり、アトラス(座標近傍系、局所座標系)、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば(すなわち1つのチャートから別のチャートへの変換が微分可能であれば)、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus (外微分法/外微分学)のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.

新しい!!: 数学的構造と可微分多様体 · 続きを見る »

可換体

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

新しい!!: 数学的構造と可換体 · 続きを見る »

合同算術

数学、特に初等代数的整数論における合同算術(ごうどうさんじゅつ、modular arithmetic; モジュラ計算)は、(剰余を持つ除法の意味で))自然数あるいは整数をある特定の自然数で割ったときの剰余に注目して、自然数あるいは整数に関する問題を解決する一連の方法の総称である。合同算術の起源は、一般にはガウスが著作『Disquisitiones Arithmeticae』を出版する1801年にまで遡れるものとされる。ガウスによる合同を用いたこの新しい手法は、有名な平方剰余の相互法則を明らかにし、より抽象的な観点からウィルソンの定理などの定理の記述の簡素化に一役を買った。ガウスの研究は自然数を扱う整数論のみならず、代数学や幾何学といった数学のほかの主要な分野にまで影響を与えるものであった。 かんたんな時刻の計算は「時間」については 12 あるいは 24 を法とする、「分・秒」については 60 を法とする合同算術になっている。合同算術はあたかも法 ''n'' を「周期」として循環あるいは回転しているかのようである。 この手法の基本は、「数それ自体」ではなくそれを別な数で割った(商がいくらになるかということは無視して)「剰余だけ」を考えるということにある。こういった考え方は何か特殊で高尚なものというようなものではなく、実際に日常生活においても時刻や角度といったものの計算や単位の換算などで、ちょっとした合同算術が特別な知識無くあるいは無意識に行われているのである。 20世紀には、合同算術にまつわる状況は大きく様変わりをしている。計算機やウェブの普及に伴って情報セキュリティの観点からの暗号化アルゴリズムの開発や取り扱いといったような場面で古典的な合同算術に関する理論の工業的・商業的応用が頻繁に見られるようになった。.

新しい!!: 数学的構造と合同算術 · 続きを見る »

多項式環

数学、殊に抽象代数学における多項式環(たこうしきかん、polynomial ring)は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.

新しい!!: 数学的構造と多項式環 · 続きを見る »

多様体

多様体(たようたい、manifold, Mannigfaltigkeit)とは、局所的にはユークリッド空間と見なせるような図形や空間(位相空間)のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.

新しい!!: 数学的構造と多様体 · 続きを見る »

座標

幾何学において、座標(ざひょう)とは、点の位置を指定するために与えられる数の組 (coordinates)、あるいはその各数 (coordinate) のことであり、その組から点の位置を定める方法を与えるものが座標系(ざひょうけい、coordinate system)である。座標系と座標が与えられれば、点はただ一つに定まる。 座標は点により定まる関数の組であって、一つの空間に複数の座標系が重複して定義されていることがある。例えば、多様体は各点の近くでユークリッド空間と同様の座標系が貼り付けられているが、ほとんどの場合、一つの座標系の座標だけを考えていたのでは全ての点を特定することができない。このような場合は、たくさんの座標系を貼り付けて、重なる部分での読み替えの方法を記した地図帳(アトラス、atlas)を用意することもある。 地球上の位置を表す地理座標や、天体に対して天球上の位置を表す天球座標がある。.

新しい!!: 数学的構造と座標 · 続きを見る »

代数的構造

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

新しい!!: 数学的構造と代数的構造 · 続きを見る »

位相の特徴付け

数学において位相空間の位相は開集合系として定義することが多いが、それと同値な位相の特徴付けがいくつも知られており、それらは同じ位相空間の圏を定める。どの定義からも位相的概念に対する新たな見方が提供され、多くの位相的概念について更なる事実や一般化の方向性が導き出される。.

新しい!!: 数学的構造と位相の特徴付け · 続きを見る »

位相幾何学

一つの面と一つの辺を持つメビウスの帯は位相幾何学で研究される対象の一種である。 自明な結び目)を三次元で描いたもの 数学の一分野、位相幾何学(いそうきかがく、topology, トポロジー)は、その名称がτόπος(「位置」「場所」)と (「言葉」「学問」) に由来し、「位置の学問」を意味している。 トポロジーは、何らかの形(かたち。あるいは「空間」)を連続変形(伸ばしたり曲げたりすることはするが切ったり貼ったりはしないこと)しても保たれる性質(または位相不変量)に焦点を当てたものである。位相的性質において重要なものには、連結性およびコンパクト性などが挙げられる。 位相幾何学は、空間、次元、変換といった概念の研究を通じて、幾何学および集合論から生じた分野である。このような考え方は、17世紀に「位置の幾何」(geometria situs)および「位置の解析」(analysis situs)を見越したゴットフリート・ライプニッツにまで遡れる。レオンハルト・オイラーの「ケーニヒスベルクの七つの橋」の問題および多面体公式がこの分野における最初の定理であるというのが定説となっている。用語 topology は19世紀にによって導入されたが、位相空間の概念が起こるのは20世紀の最初の10年まで待たねばならない。20世紀中ごろには、位相幾何学は数学の著名な一分野となっていた。 位相幾何学には様々な分科が存在する。.

新しい!!: 数学的構造と位相幾何学 · 続きを見る »

位相空間

数学における位相空間(いそうくうかん, topological space)とは、集合にある種の情報(位相、topology)を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.

新しい!!: 数学的構造と位相空間 · 続きを見る »

体論

数学において体論(たいろん、英語:field theory)とは、体の性質を研究する分野のことである。体は四則演算が定義されている数学的対象である。.

新しい!!: 数学的構造と体論 · 続きを見る »

微分幾何学

数学における微分幾何学(びぶんきかがく、ドイツ語: Differentialgeometrie、英語:differential geometry)とは微分を用いた幾何学の研究である。また、可微分多様体上の微分可能な関数を取り扱う数学の分野は微分位相幾何学(びぶんいそうきかがく、ドイツ語: Differentialtopologie、英語: differential topology)とよばれることがある。微分方程式の研究から自然に発生したこれらの分野は互いに密接に関連しており、特に一般相対性理論をはじめとして物理学に多くの応用がある。これらは可微分多様体についての幾何学を構成しているが、力学系の視点からも直接に研究される。.

新しい!!: 数学的構造と微分幾何学 · 続きを見る »

微分法

数学における微分法(びぶんほう、differential calculus; 微分学)は微分積分学の分科で、量の変化に注目して研究を行う。微分法は積分法と並び、微分積分学を二分する歴史的な分野である。 微分法における第一の研究対象は函数の微分(微分商、微分係数)、および無限小などの関連概念やその応用である。函数の選択された入力における微分商は入力値の近傍での函数の変化率を記述するものである。微分商を求める過程もまた、微分 (differentiation) と呼ばれる。幾何学的にはグラフ上の一点における微分係数は、それが存在してその点において定義されるならば、その点における函数のグラフの接線の傾きである。一変数の実数値函数に対しては、一点における函数の微分は一般にその点における函数の最適線型近似を定める。 微分法と積分法を繋ぐのが微分積分学の基本定理であり、これは積分が微分の逆を行う過程であることを述べるものである。 微分は量を扱うほとんど全ての分野に応用を持つ。たとえば物理学において、動く物体の変位の時間に関する導函数はその物体の速度であり、速度の時間に関する導函数は加速度である。物体の運動量の導函数はその物体に及ぼされた力に等しい(この微分に関する言及を整理すればニュートンの第二法則に結び付けられる有名な方程式 が導かれる)。化学反応の反応速度も導函数である。オペレーションズ・リサーチにおいて導函数は物資転送や工場設計の最適な応報の決定に用いられる。 導函数は函数の最大値・最小値を求めるのに頻繁に用いられる。導函数を含む方程式は微分方程式と呼ばれ、自然現象の記述において基本的である。微分およびその一般化は数学の多くの分野に現れ、例えば複素解析、函数解析学、微分幾何学、測度論および抽象代数学などを挙げることができる。.

新しい!!: 数学的構造と微分法 · 続きを見る »

圏論

圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.

新しい!!: 数学的構造と圏論 · 続きを見る »

ポアンカレ予想

予想の提唱者アンリ・ポアンカレ (3次元)ポアンカレ予想(ポアンカレよそう、Poincaré conjecture)とは、数学の位相幾何学(トポロジー)における定理の一つである。3次元球面の特徴づけを与えるものであり、定理の主張は というものである。2018年6月現在、7つのミレニアム懸賞問題のうち唯一解決されている問題である。.

新しい!!: 数学的構造とポアンカレ予想 · 続きを見る »

ユークリッド幾何学

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

新しい!!: 数学的構造とユークリッド幾何学 · 続きを見る »

リーマン予想

1.

新しい!!: 数学的構造とリーマン予想 · 続きを見る »

リヒャルト・デーデキント

ブラウンシュヴァイクの中央墓地にあるデデキントの墓 ユリウス・ヴィルヘルム・リヒャルト・デーデキント(デデキント、Julius Wilhelm Richard Dedekind、1831年10月6日 - 1916年2月12日)は、ドイツのブラウンシュヴァイク出身の数学者。代数学・数論が専門分野。1858年からチューリッヒ工科大学教授、1894年からブラウンシュヴァイク工科大学教授を歴任した。彼の名前にちなんだ数学用語としては、デデキント環、デデキント切断などがある。.

新しい!!: 数学的構造とリヒャルト・デーデキント · 続きを見る »

レオポルト・クロネッカー

レオポルト・クロネッカー(Leopold Kronecker, 1823年12月7日 - 1891年12月29日)はドイツの数学者である。リーグニッツ(現在のポーランド・レグニツァ Legnica)生まれ。ユダヤ系。 彼は、ヤコビ、ディリクレ、アイゼンシュタイン、クンマーといったドイツの先達の後に立って、また、パリ滞在中にエルミートなどの影響によって、群論、モジュラー方程式、代数的整数論、楕円関数、また行列式の理論において大きな業績を残した。クロネッカーの名前は現在でも、クロネッカーのデルタ、クロネッカー積、クロネッカー=ウェーバーの定理、クロネッカーの青春の夢などに見ることができる。.

新しい!!: 数学的構造とレオポルト・クロネッカー · 続きを見る »

ヴェイユ予想

ヴェイユ予想(ヴェイユよそう、Weil conjectures)とは、数学者のアンドレ・ヴェイユが発表した、非特異代数多様体上の合同ゼータ関数におけるリーマン予想の類似で(下の(3)がリーマン予想の類似)、アレクサンドル・グロタンディークを経てピエール・ルネ・ドリーニュにより1974年に解決された。.

新しい!!: 数学的構造とヴェイユ予想 · 続きを見る »

ヘルマン・グラスマン

ヘルマン・ギュンター・グラスマン(Hermann Günther Graßmann, 1809年4月15日 - 1877年9月26日)はドイツの数学者・物理学者・言語学者。 まず数学を研究し、現在グラスマン代数と呼ばれる成果をあげたが、時代に先んじていたため認められなかった。しかし他の分野でも才能を開花させ、色彩論および言語学においてそれぞれグラスマンの法則と呼ばれる業績を残した。.

新しい!!: 数学的構造とヘルマン・グラスマン · 続きを見る »

ニコラ・ブルバキ

ニコラ・ブルバキ(Nicolas Bourbaki, ブールバキとも)は架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ数学原論や、定期的に開催されるで有名。.

新しい!!: 数学的構造とニコラ・ブルバキ · 続きを見る »

ベルンハルト・リーマン

ルク・フリードリヒ・ベルンハルト・リーマン(Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日)は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー=リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン=ロッホの定理、リーマン予想などがある。.

新しい!!: 数学的構造とベルンハルト・リーマン · 続きを見る »

ベクトル

ベクトル()またはベクター() ベクトルは Vektor に由来し、ベクターは vector に由来する。物理学などの自然科学の領域ではベクトル、プログラミングなどコンピュータ関係ではベクターと表記される、という傾向が見られることもある。また、技術文書などではしばしばJIS規格に準拠する形で、長音を除いたベクタという表記が用いられる。 は「運ぶ」を意味するvehere に由来し、18世紀の天文学者によってはじめて使われた。 ベクトルは通常の数(スカラー)と区別するために矢印を上に付けたり(例: \vec,\ \vec)、太字で書いたりする(例: \boldsymbol, \boldsymbol)が、分野によっては矢印も太字もせずに普通に書くこともある(主に解析学)。 ベクトル、あるいはベクターに関する記事と用法を以下に挙げる。.

新しい!!: 数学的構造とベクトル · 続きを見る »

ベクトル空間

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

新しい!!: 数学的構造とベクトル空間 · 続きを見る »

アルキメデス

アルキメデス(Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年)は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.

新しい!!: 数学的構造とアルキメデス · 続きを見る »

アンドレ・ヴェイユ

アンドレ・ヴェイユ(André Weil, 1906年5月6日 - 1998年8月6日)は、フランスの数学者で、20世紀を代表する数学者の一人である。思想家のシモーヌ・ヴェイユは妹、児童文学者のは娘である。.

新しい!!: 数学的構造とアンドレ・ヴェイユ · 続きを見る »

アイザック・ニュートン

ウールスソープの生家 サー・アイザック・ニュートン(Sir Isaac Newton、ユリウス暦:1642年12月25日 - 1727年3月20日、グレゴリオ暦:1643年1月4日 - 1727年3月31日ニュートンの生きていた時代のヨーロッパでは主に、グレゴリオ暦が使われ始めていたが、当時のイングランドおよびヨーロッパの北部、東部ではユリウス暦が使われていた。イングランドでの誕生日は1642年のクリスマスになるが、同じ日がグレゴリオ暦では1643年1月4日となる。二つの暦での日付の差は、ニュートンが死んだときには11日にも及んでいた。さらに1752年にイギリスがグレゴリオ暦に移行した際には、3月25日を新年開始の日とした。)は、イングランドの自然哲学者、数学者、物理学者、天文学者。 主な業績としてニュートン力学の確立や微積分法の発見がある。1717年に造幣局長としてニュートン比価および兌換率を定めた。ナポレオン戦争による兌換停止を経て、1821年5月イングランド銀行はニュートン兌換率により兌換を再開した。.

新しい!!: 数学的構造とアイザック・ニュートン · 続きを見る »

インターネット百科事典

インターネット百科事典。コンピューターを使ってインターネット経由で閲覧する。 インターネット百科事典(インターネットひゃっかじてん、)とは、インターネットでアクセスできるデジタル百科事典である。オンライン百科事典()とも呼ばれる。インターネット百科事典として最も規模の大きいものとしてウィキペディア、また専門家が主導しているオープンアクセスのプロジェクトで歴史が古いものとしてスタンフォード哲学百科事典などがあるLawrence M. Sanger "" Digital Universe Journal(2006)Dowries, Stephen "" Interdisciplinary Journal of Knowledge and Learning Objects.

新しい!!: 数学的構造とインターネット百科事典 · 続きを見る »

エヴァリスト・ガロア

ヴァリスト・ガロア(Évariste Galois, 1811年10月25日 - 1832年5月31日)は、フランスの数学者および革命家である。フランス語の原音()に忠実に「ガロワ」と表記されることもある。.

新しい!!: 数学的構造とエヴァリスト・ガロア · 続きを見る »

エウドクソス

エウドクソス(Eudoxos)は、紀元前4世紀の古代ギリシアの数学者、天文学者。エジプトで長く暮らし、後にアテネに移住した。 彼は紀元前4世紀ごろに天動説を唱えた。円錐の体積は、同じ半径、同じ高さの円柱の体積の3分の1になることを証明した。これらの成果は、ユークリッドの著書に記載された。 天文学者としては、地球が中心にあり、他の天体がその周りを回る天動説を唱えたとされるが、著書は残っていない。ただし、この考え方は後にアリストテレスやプトレマイオスによって体系化された。 Category:紀元前4世紀の哲学者 Category:古代ギリシアの哲学者 Category:古代ギリシアの数学者 Category:ギリシャの天文学者 4100000 Category:アカデメイア派 Category:数学に関する記事 Category:天文学に関する記事.

新しい!!: 数学的構造とエウドクソス · 続きを見る »

カミーユ・ジョルダン

マリ・エヌモン・カミーユ・ジョルダン(Marie Ennemond Camille Jordan、1838年1月5日 - 1922年1月22日)はフランスの数学者。群論に関する基礎的研究と、影響力のある著書"Cours d'analyse"の二つによって有名である。 リヨンで生まれ、エコール・ポリテクニークで教育を受けた(1855年入学)。職業的な技術者になり、エコール・ポリテクニークで教鞭をとった。コレージュ・ド・フランスでリウヴィルの跡を継ぎ、独特な記号表記によって好評を博した。 今日、彼の名は以下に挙げる基礎的研究の成果よって記憶されている。.

新しい!!: 数学的構造とカミーユ・ジョルダン · 続きを見る »

カール・フリードリヒ・ガウス

Disquisitiones Arithmeticae のタイトルページ ヨハン・カール・フリードリヒ・ガウス(; Johann Carl Friedrich Gauß, Carolus Fridericus Gauss, 1777年4月30日 - 1855年2月23日)は、ドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。数学の各分野、さらには電磁気など物理学にも、彼の名が付いた法則、手法等が数多く存在する。19世紀最大の数学者の一人である。.

新しい!!: 数学的構造とカール・フリードリヒ・ガウス · 続きを見る »

ガロア理論

ア理論(ガロアりろん、Galois theory)は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.

新しい!!: 数学的構造とガロア理論 · 続きを見る »

ゴットフリート・ライプニッツ

ットフリート・ヴィルヘルム・ライプニッツ(Gottfried Wilhelm Leibniz、1646年7月1日(グレゴリオ暦)/6月21日(ユリウス暦) - 1716年11月14日)は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、(ライプニッツ)としているものと、(ライブニッツ)としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.

新しい!!: 数学的構造とゴットフリート・ライプニッツ · 続きを見る »

ジュゼッペ・ペアノ

ュゼッペ・ペアノ(ペアーノ、Giuseppe Peano, 1858年8月27日、ピエモンテ州クーネオ – 1932年4月20日、トリノ)はイタリアの数学者。トリノ大学教授。自然数の公理系 (ペアノの公理)、ペアノ曲線の考案者として知られる。 人工言語の一つである無活用ラテン語を提唱したことでも知られる。.

新しい!!: 数学的構造とジュゼッペ・ペアノ · 続きを見る »

ステファン・バナフ

テファン・バナフ(Stefan Banach, 1892年3月30日 - 1945年8月31日)はポーランドの数学者。バナッハ空間論、実解析論、数学基礎論などで多大な業績をのこした。ワルシャワ学派、クラクフ学派、ルヴフ学派の3派で構成されるポーランド学派のうち、ルヴフ学派のオリジナルメンバーの一人。.

新しい!!: 数学的構造とステファン・バナフ · 続きを見る »

冪集合

冪集合(べきしゅうごう、power set)とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪(べき)と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ(冪集合公理)としてしばしば提示する。.

新しい!!: 数学的構造と冪集合 · 続きを見る »

円積問題

円積問題(えんせきもんだい)とは古代の幾何学者たちによって定式化された「与えられた長さの半径を持つ円に対し、定規とコンパスによる有限回の操作でそれと面積の等しい正方形を作図することができるか」という問題である。海外では円の正方形化 (squaring the circle) とも呼ばれる。 この問題は有理数体から出発して、体のある元の平方根を追加して新しい体を得るという操作の有限回の繰り返しで円周率を含むような体が得られるか、と言い換えることができる。1882年に、円周率が超越数であることが示されたことにより、円積問題は実現不可能だと証明された。 一方、コンパスや定規以外の道具を用いて円を正方形化することや、コンパスと定規のみを用いて近似的な解を作図する方法が多く知られている。.

新しい!!: 数学的構造と円積問題 · 続きを見る »

写像

写像(しゃぞう、mapping, map)とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数(関数)、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と(一価の)「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる(多価函数参照)。文献によっては「数の集合(大抵の場合実数体 または複素数体 の部分集合)を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.

新しい!!: 数学的構造と写像 · 続きを見る »

全順序

数学における線型順序(せんけいじゅんじょ、linear order)、全順序(ぜんじゅんじょ、total order)または単純順序(たんじゅんじゅんじょ、simple order)は、推移的、反対称かつ完全な二項関係を言う。集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ によって全順序付けられるとき、X の任意の元 a, b, c に対して、以下の条件 が満足される。 反対称性によって a < b でも b < a でもあるような不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は(完全性の代わりに反射性のみが課されるという意味で)全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。.

新しい!!: 数学的構造と全順序 · 続きを見る »

公理

公理(こうり、axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.

新しい!!: 数学的構造と公理 · 続きを見る »

共通部分 (数学)

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

新しい!!: 数学的構造と共通部分 (数学) · 続きを見る »

積分法

積分法(せきぶんほう、integral calculus)は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.

新しい!!: 数学的構造と積分法 · 続きを見る »

筑摩書房

株式会社筑摩書房(ちくましょぼう)は、日本の出版社。筑摩書房のマーク(空を截る鷹)のデザインは青山二郎作。 文学者を中心に個人全集は、増補改訂し繰り返し刊行するので、「全集の筑摩」と称されている。特に『世界文学全集』は多くの類書シリーズを刊行した。ほかに古典・現代文の教科書を現在まで毎年出版している。月刊PR誌に『ちくま』がある。.

新しい!!: 数学的構造と筑摩書房 · 続きを見る »

線型代数学

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

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

群論

群論(ぐんろん、group theory)とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代~80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.

新しい!!: 数学的構造と群論 · 続きを見る »

直積

数学において、直積を考えられる対象は様々ある。そのうちの一部を以下に挙げる。.

新しい!!: 数学的構造と直積 · 続きを見る »

Disquisitiones Arithmeticae

Disquisitiones Arithmeticae(ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す)は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた。 ラテン語の arithmetica(アリトメティカ)は通常「算術」と訳されるが、ガウスの意図したものは、今日「数論」もしくは「整数論」と呼ばれる学術的領域である高瀬 1995、pp.

新しい!!: 数学的構造とDisquisitiones Arithmeticae · 続きを見る »

順序集合

数学において順序集合(じゅんじょしゅうごう、ordered set)とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている(「比較可能」である)必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合(はんじゅんじょしゅうごう、partially ordered set, poset)ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。(「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。) 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、(2つ以上元を含む)集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A<B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる(兄弟同士、叔父と甥、赤の他人等)ので、この順序集合は全順序ではない。.

新しい!!: 数学的構造と順序集合 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: 数学的構造と複素数 · 続きを見る »

解析幾何学

初等幾何学における解析幾何学(かいせききかがく、analytic geometry)あるいは座標幾何学(ざひょうきかがく、coordinate geometry)、デカルト幾何学(デカルトきかがく、Cartesian geometry)は、座標を用いて代数的解析幾何学という名称における接頭辞「解析」は、微積分学を含む現代的な解析学という意味の「解析」ではなく、発見的な代数的手法によるものであることを示唆するものである。(解析幾何学 - コトバンク)に図形を調べる幾何学をいう。座標を用いるという点において、(より古典的な、ユークリッドの原論にもあるような)点や直線などがどのような公理に従うかということのみによって図形を調べる とは対照的である。座標を利用することにより、図形のもつ性質を座標のあいだにあらわれる関係式として特徴づけたり、数や式として図形を取り扱ったりすることができる。 ふつうは(二次元)平面上の点、直線などを扱う(平面解析幾何)か(三次元)空間内のそれらを扱う(立体解析幾何)。.

新しい!!: 数学的構造と解析幾何学 · 続きを見る »

角の三等分問題

3を作図している。 角の三等分問題(かくのさんとうぶんもんだい、angle trisection)とは、古代における古典的な定規とコンパスによる作図問題である。この問題は、与えられた任意の角に対しその三分の一の大きさの角を、目盛りのない定規とコンパスのみを用いて作図せよというものである。 1837年にピエール・ヴァンツェルにより、一般にはこの問題を解くことが不可能であることが示された。ただし、これは定規とコンパスのみを用いて角を三等分する方法が一般には存在しないということであり、特別な場合として三等分が可能な角は幾つか存在する。例えば、直角の三等分(即ち の角の作図)は比較的単純に行うことができる。逆に、三等分が不可能な角で不可能性を容易に証明することができるものが幾つか存在する。例えば、 の三等分(即ち の角の作図)の不可能性は比較的単純に示すことができる。 定規とコンパス以外の道具を用いて任意の角の三等分を行うことは可能である。例として、古代ギリシャから知られていたがある。これはスライドと同時に回転が可能な目盛り付きの定規を用いる作図であり、(目盛りなしの)定規とコンパスでは不可能な作図である。その他数々の方法が数学者達により何世紀にもわたって考案されてきた。 この問題の内容自体は単純で理解に難くない一方、これが解けないことの証明は複雑である。そのため、角の三等分問題の解法はよく的な試みの対象となる。これらの「解法」はしばしばルールの誤解釈、あるいは単純に誤りを含んだものとなっている。.

新しい!!: 数学的構造と角の三等分問題 · 続きを見る »

論理式

論理式.

新しい!!: 数学的構造と論理式 · 続きを見る »

除法の原理

数学の特に算術において、自然数や整数に対する通常の剰余付き除法(じょうよつきじょほう、division with remainder; 余りのある割り算)は、ユークリッド除法(ユークリッドじょほう、Euclidean division)または整除法(せいじょほう、entire division)とも呼ばれ、「被除数と除数と呼ばれる二つの自然数に対して、商と剰余と呼ばれる二つの自然数が、与えられた性質を満たして一意的に存在する」ことを主張する定理として明確に規定することができる。このような定理を「除法の原理」(じょほうのげんり、division algorithm; 除法の算法)という。即ち、その主張は「二つの自然数 n および m ≠ 0 に対してある自然数 a および b が存在して n.

新しい!!: 数学的構造と除法の原理 · 続きを見る »

構造主義

構造主義(こうぞうしゅぎ、)とは、狭義には1960年代に登場して発展していった20世紀の現代思想のひとつである。広義には、現代思想から拡張されて、あらゆる現象に対して、その現象に潜在する構造を抽出し、その構造によって現象を理解し、場合によっては制御するための方法論を指す語である。.

新しい!!: 数学的構造と構造主義 · 続きを見る »

準同型

準同型(じゅんどうけい、homomorphic)とは、複数の対象(おもに代数系)に対して、それらの特定の数学的構造に関する類似性を表す概念で、構造を保つ写像である準同型写像(じゅんどうけいしゃぞう、homomorphism) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに同型(どうけい、isomorphic)および同型写像(どうけいしゃぞう、isomorphism)という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に準同型・同型と呼ぶ。いずれも、「型」の代わりに「形」が用いられることが稀にある。.

新しい!!: 数学的構造と準同型 · 続きを見る »

有限体

有限体(ゆうげんたい、英語:finite field)とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域(ガロアいき、Galois field)などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.

新しい!!: 数学的構造と有限体 · 続きを見る »

数学

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

新しい!!: 数学的構造と数学 · 続きを見る »

数学基礎論

数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.

新しい!!: 数学的構造と数学基礎論 · 続きを見る »

数学原論

数学原論(すうがくげんろん、Éléments de mathématique)は、数学者集団ニコラ・ブルバキ による数学に関するである。2016年現在11の部門からなり、各部門が1つあるいは複数の章に分かれている。最初の巻はエルマン (Hermann) 書店によって1939年から、はじめは小冊子の形で、後に合本として、出版された。編集者との意見の相違から、出版は1970年代にCCLSに代わり、1980年代にはマソン (Masson) 書店に代わった。2006年からは、シュプリンガー・フェアラーク (Springer Verlag) がすべての分冊を再出版している。(なお和訳は絶版である。) 書名の奇妙な "mathématique" は意図的なものであり、通常使われる複数形が示唆するかもしれないことに反し、数学は統一されているという著者の信条を表している。逆に、ブルバキの『数学史』(Éléments d'histoire des mathématiques, 数学史原論)は複数形を用いており、ブルバキ以前には数学はばらばらな分野の集まりであったが、構造の現代的な概念によって統一できるようになったことを示している。 最初の6部門は論理的な順序に従っている。他の部門は初めの6部門に述べられていたことは用いるが、順序立ってはいない。.

新しい!!: 数学的構造と数学原論 · 続きを見る »

数学史

数学史(すうがくし、英語:history of mathematics)とは、数学の歴史のこと。第一には、数学上の発見の起源についての研究であり、副次的な興味として、過去の数学においてどのような手法が一般的であったかや、どのような記号が使われたかなども調べられている。.

新しい!!: 数学的構造と数学史 · 続きを見る »

数学上の未解決問題

数学上の未解決問題(すうがくじょうのみかいけつもんだい)とは未だ解決されていない数学上の問題のことである。 未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学・技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家達が証明を試みてきたような有名な命題を列挙する。.

新しい!!: 数学的構造と数学上の未解決問題 · 続きを見る »

数学的宇宙仮説

数学的宇宙仮説 (mathematical universe hypothesis, MUH) とは、マックス・テグマークによって提唱された、物理学および宇宙論における思弁的な万物の理論 (TOE)である。究極集合 (Ultimate Ensemble) とも呼ばれる。.

新しい!!: 数学的構造と数学的宇宙仮説 · 続きを見る »

整数環

数学において,代数体 の整数環(せいすうかん,ring of integers)とは, に含まれるすべての整な元からなる環である.整な元とは有理整数係数の単多項式 の根である.この環はしばしば あるいは \mathcal O_K と書かれる.任意の有理整数は に属し,その整元であるから,環 はつねに の部分環である. 環 は最も簡単な整数環である.すなわち, ただし は有理数体である.

新しい!!: 数学的構造と整数環 · 続きを見る »

17世紀

ルイ14世の世紀。フランスの権勢と威信を示すために王の命で壮麗なヴェルサイユ宮殿が建てられた。画像は宮殿の「鏡の間」。 スペインの没落。国王フェリペ4世の時代に「スペイン黄金時代」は最盛期を過ぎ国勢は傾いた。画像は国王夫妻とマルガリータ王女を取り巻く宮廷の女官たちを描いたディエゴ・ベラスケスの「ラス・メニーナス」。 ルネ・デカルト。「我思う故に我あり」で知られる『方法序説』が述べた合理主義哲学は世界の見方を大きく変えた。画像はデカルトとその庇護者であったスウェーデン女王クリスティナ。 プリンキピア』で万有引力と絶対空間・絶対時間を基盤とするニュートン力学を構築した。 オランダの黄金時代であり数多くの画家を輩出した。またこの絵にみられる実験や観察は医学に大きな発展をもたらした。 チューリップ・バブル。オスマン帝国からもたらされたチューリップはオランダで愛好され、その商取引はいつしか過熱し世界初のバブル経済を生み出した。画像は画家であり園芸家でもあったエマヌエル・スウェールツ『花譜(初版は1612年刊行)』の挿絵。 三十年戦争の終結のために開かれたミュンスターでの会議の様子。以後ヨーロッパの国際関係はヴェストファーレン体制と呼ばれる主権国家を軸とする体制へと移行する。 チャールズ1世の三面肖像画」。 ベルニーニの「聖テレジアの法悦」。 第二次ウィーン包囲。オスマン帝国と神聖ローマ帝国・ポーランド王国が激突する大規模な戦争となった。この敗北に続いてオスマン帝国はハンガリーを喪失し中央ヨーロッパでの優位は揺らぐことになる。 モスクワ総主教ニーコンの改革。この改革で奉神礼や祈祷の多くが変更され、反対した人々は「古儀式派」と呼ばれ弾圧された。画像はワシーリー・スリコフの歴史画「貴族夫人モローゾヴァ」で古儀式派の信仰を守り致命者(殉教者)となる貴族夫人を描いている。 スチェパン・ラージン。ロシアではロマノフ朝の成立とともに農民に対する統制が強化されたが、それに抵抗したドン・コサックの反乱を率いたのがスチェパン・ラージンである。画像はカスピ海を渡るラージンと一行を描いたワシーリー・スリコフの歴史画。 エスファハーンの栄華。サファヴィー朝のシャー・アッバース1世が造営したこの都市は「世界の半分(エスファハーン・ネスフェ・ジャハーン・アスト)」と讃えられた。画像はエスファハーンに建てられたシェイク・ロトフォラー・モスクの内部。 タージ・マハル。ムガル皇帝シャー・ジャハーンが絶世の美女と称えられた愛妃ムムターズ・マハルを偲んでアーグラに建てた白亜の霊廟。 アユタヤ朝の最盛期。タイでは中国・日本のみならずイギリスやオランダの貿易船も来訪し活況を呈した。画像はナーラーイ王のもとで交渉をするフランス人使節団(ロッブリーのプラ・ナーライ・ラーチャニーウエート宮殿遺跡記念碑)。 イエズス会の中国宣教。イエズス会宣教師は異文化に対する順応主義を採用し、中国の古典教養を尊重する漢人士大夫の支持を得た。画像は『幾何原本』に描かれたマテオ・リッチ(利瑪竇)と徐光啓。 ブーヴェの『康熙帝伝』でもその様子は窺える。画像は1699年に描かれた読書する40代の康熙帝の肖像。 紫禁城太和殿。明清交代の戦火で紫禁城の多くが焼亡したが、康熙帝の時代に再建がなされ現在もその姿をとどめている。 台湾の鄭成功。北京失陥後も「反清復明」を唱え、オランダ人を駆逐した台湾を根拠地に独立政権を打ち立てた。その母が日本人だったこともあり近松門左衛門の「国姓爺合戦」などを通じて日本人にも広く知られた。 江戸幕府の成立。徳川家康は関ヶ原の戦いで勝利して征夷大将軍となり、以後260年余にわたる幕府の基礎を固めた。画像は狩野探幽による「徳川家康像」(大阪城天守閣蔵)。 日光東照宮。徳川家康は死後に東照大権現の称号を贈られ日光に葬られた。続く三代将軍徳川家光の時代までに豪奢で絢爛な社殿が造営された。画像は「日暮御門」とも通称される東照宮の陽明門。 歌舞伎の誕生。1603年に京都北野社の勧進興業で行われた出雲阿国の「かぶき踊り」が端緒となり、男装の女性による奇抜な演目が一世を風靡した。画像は『歌舞伎図巻』下巻(名古屋徳川美術館蔵)に描かれた女歌舞伎の役者采女。 新興都市江戸。17世紀半ばには江戸は大坂や京都を凌ぐ人口を擁するまでとなった。画像は明暦の大火で焼失するまで威容を誇った江戸城天守閣が描かれた「江戸図屏風」(国立歴史民俗博物館蔵)。 海を渡る日本の陶磁器。明清交代で疲弊した中国の陶磁器産業に代わり、オランダ東インド会社を通じて日本から陶磁器が数多く輸出された。画像は1699年に着工されたベルリンのシャルロッテンブルク宮殿の「磁器の間」。 海賊の黄金時代。西インド諸島での貿易の高まりはカリブ海周辺に多くの海賊を生み出した。画像はハワード・パイルが描いた「カリブ海のバッカニーア」。 スペイン副王支配のリマ。リマはこの当時スペインの南米支配の拠点であり、カトリック教会によるウルトラバロックとも呼ばれる壮麗な教会建築が並んだ。画像は1656年の大地震で大破したのちに再建されたリマのサン・フランシスコ教会・修道院。 17世紀(じゅうしちせいき、じゅうななせいき)は、西暦1601年から西暦1700年までの100年間を指す世紀。.

新しい!!: 数学的構造と17世紀 · 続きを見る »

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

台集合構造 (数学)

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