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

置換 (数学)

索引 置換 (数学)

数学における置換(ちかん、permutation)の概念は、いくつか僅かに異なった意味で用いられるが、いずれも対象や値を「並べ替える」ことに関するものである。有り体に言えば、対象からなる集合の置換というのは、それらの対象に適当な順番を与えて並べることを言う。例えば、集合 の置換は、 の全部で六種類ある順序組である。単語のアナグラムは、単語を構成する文字列に対する置換として定められる。そういった意味での置換の研究は、一般には組合せ論に属する話題である。 相異なる n 個の対象の置換の総数は 通りであり、これは "n!" と書いて n の階乗と呼ばれる。 置換の概念は、多かれ少なかれ(あるいは陰に陽に)、数学のほとんどすべての領域に現れる。たとえばある有限集合上に異なる順序付けが考えられる場合に、単にそれらの順番を無視したいとか、無視した時にどれほどの配置が同一視されるかを知る必要があるなどの理由で、置換が行われることも多い。同様の理由で、置換は計算機科学におけるソートアルゴリズムの研究において生じる。 代数学、特に群論において、集合 S 上の置換は S から自身への全単射(つまり写像 で S の各元が像としてちょうど一つずつ現れるもの)として定義される。これは各元 s を対応する f(s) と入れ替えるという意味での S の並び替え (rearrangement) と関連する。このような置換の全体は対称群と呼ばれる群を成す。重要なことは、置換の合成が定義できること、つまり二つの並び替えを続けて行うと、それは全体として別の並べ替えになっているということである。S 上の置換は、S の元(あるいはそれを特定の記号によって置き換えたもの)を対象として、それらに対象の並び替えとして作用する。 初等組合せ論において、「」はともに n 元集合から k 個の元を取り出す方法として可能なものを数え上げる問題に関するもので、取り出す順番を勘案するのが k-順列、順番を無視するのが k-組合せである。k.

56 関係: 多項係数多重集合完全順列対称群不動点一般性を失わない交換法則二項係数代数学バースカラ2世バブルソートパオロ・ルフィニドナルド・クヌースニールス・アーベル列 (数学)アナグラムアーベル–ルフィニの定理エンリコ・ベッチエヴァリスト・ガロアエディントンのイプシロンオーギュスタン=ルイ・コーシーオックスフォード大学出版局ガロア理論ジョゼフ=ルイ・ラグランジュソートタプル写像の合成全単射全順序共役類空積素集合置換の符号置換行列群 (数学)群作用群論結合法則組合せ数学畳み込み階乗違いを除いて順列重複置換自然数の分割集合逆写像Qポッホハマー記号恒等写像正方行列...濃度 (数学)挿入ソート日本評論社数学1815年1852年 インデックスを展開 (6 もっと) »

多項係数

数学における多項係数(たこうけいすう、Multinomial coefficient)は二項係数の一般化である。.

新しい!!: 置換 (数学)と多項係数 · 続きを見る »

多重集合

数学における多重集合(たじゅうしゅうごう、multiset)あるいはバッグ(bag; かばん)は、集合に同じ値の元がいくつも含まれるとき、各元がそれぞれいくつ含まれるかという重複度を考え合わせた集合概念である。非順序対、非順序組 (unordered tuple) ともいう。 クヌースによれば、1970年代に最初に多重集合 (multiset) という言葉を提案したのは、オランダ人数学者のニコラース・ホーバート・ド・ブラン (IPA) であるという クヌースは同書で、多重集合に対して提案された他の名前(例えば,リスト(list)、まとまり(bunch)、バッグ(bag)、堆積(heap)、標本(sample)、重みつき集合(weighted set)、コレクション(collection)、組(suite).など)も提示している。 多重集合の歴史に関するサーベイ論文である。 。しかし、数学における多重集合の概念は、"multiset" という名称がつけられる90年以上も前にすでに使用が認められる。実際、1888年に発表されたリヒャルト・デデキントの有名な論文 "Was sind und was sollen die Zahlen?" (「数とは何か、何であるべきか?」)において、実質的に多重集合の概念が用いられている。.

新しい!!: 置換 (数学)と多重集合 · 続きを見る »

完全順列

完全順列(かんぜんじゅんれつ、derangement)、もしくは攪乱順列(かくらんじゅんれつ)とは、整数 1, 2, 3, …, n を要素とする順列において、i 番目 (i ≤ n) が i でない順列である。 順列を置換とみると、完全順列は不動点の個数が0の置換に対応している。乱列、混乱順列ともいう。.

新しい!!: 置換 (数学)と完全順列 · 続きを見る »

対称群

対称群(たいしょうぐん、)とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換(ちかん、)という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群(ちかんぐん、)と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.

新しい!!: 置換 (数学)と対称群 · 続きを見る »

不動点

不動点を三つ持つ関数 数学において写像の不動点(ふどうてん)あるいは固定点(こていてん、fixed point, fixpoint)とは、その写像によって自分自身に写される点のことである。.

新しい!!: 置換 (数学)と不動点 · 続きを見る »

一般性を失わない

数学において、一般性を失わない(いっぱんせいをうしなわない)という表現は、命題の証明中にしばしば用いられるフレーズである。英語では「一般性を失わず(○○とする)」という意味合いで "without loss of generality" と表現され、しばしば W.l.o.g. や WLOG あるいは w.l.g. などと略される。 証明においては、与えられた条件を満足する個々の場合全てに通用する議論を行うべきであるが、問題によってはある特殊な場合の証明から他の全ての場合の証明が容易に導けることがある。このような場合に「(ある特殊な場合だけを考えても)一般性を失わない」として、それ以外の場合についての議論を省略することがある。 このフレーズが使われる状況には、なんらかの対称性が介在することが多い。例えば、同じ条件を満たす 2つの数 x, y に関する命題を x と y の大小関係に着目して証明するとき、x ≤ y の場合と y ≤ x の場合について議論しなければならないが、x ≤ y の場合の証明において x と y を入れ替えれば y ≤ x の場合の証明が得られるので「x ≤ y と仮定して一般性を失わない」と宣言した上で y ≤ x の場合における証明を省くことができる。例えば、シュールの不等式を証明する際には、この手法によって見通しが良くなる。 当然ではあるが、この表現を見たり書いたりした際には、本当に「一般性を失っていない」のかを確認しなくてはならない。省略した部分が自明とはいえないような場合であれば、その証明は完全であるとはいえない。 Category:数学の慣用表現 Category:数学に関する記事.

新しい!!: 置換 (数学)と一般性を失わない · 続きを見る »

交換法則

交換法則(こうかんほうそく、Commutative property) は数学における法則の一つ。可換則(かかんそく)や交換律(こうかんりつ)ともいう。.

新しい!!: 置換 (数学)と交換法則 · 続きを見る »

二項係数

数学における二項係数(にこうけいすう、binomial coefficients)は二項展開において係数として現れる正の整数の族である。二項係数は二つの非負整数で添字付けられ、添字 を持つ二項係数はふつう \tbinom と書かれる(これは二項冪 の展開における の項の係数である。適当な状況の下で、この係数の値は \tfrac で与えられる)。二項係数を、連続する整数 に対する各行に を から まで順に並べて得られる三角形状の数の並びをパスカルの三角形と呼ぶ。 この整数族は代数学のみならず数学の他の多くの分野、特に組合せ論において現れる。-元集合から -個の元を(その順番を無視して)選ぶ方法が \tbinom nk 通りである。二項係数の性質を用いて、記号 \tbinom nk の意味を、もともとの および が なる非負整数であった場合を超えて拡張することが可能で、そのような場合もやはり二項係数と称する。.

新しい!!: 置換 (数学)と二項係数 · 続きを見る »

代数学

代数学(だいすうがく、algebra)は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論(代数方程式論)という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環(代数)・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。.

新しい!!: 置換 (数学)と代数学 · 続きを見る »

バースカラ2世

バースカラ(Bhāskara、カンナダ語: ಭಾಸ್ಕರಾಚಾರ್ಯ、1114年 - 1185年)は、インドの数学者で天文学者。7世紀の数学者バースカラ1世と区別するためバースカラ2世 (Bhaskara II) またはバースカラーチャーリヤ(Bhaskara Achārya、バースカラ先生の意)とも呼ばれる。南インドの現在のカルナータカ州ビジャープラ県にあたる Bijjada Bida でバラモン階級の家に生まれる。当時のインド数学の中心地であったウッジャインの天文台の天文台長を務めた。前任者には、ブラーマグプタ(598年 - 665年)やヴァラーハミヒラがいる。西ガーツ山脈地方に住んでいた。 代々、宮廷学者の地位を世襲しており、バースカラの息子やその子孫もその地位を継承していることが記録に残っている。父マヘーシュヴァラ(Mahesvara)は占星術師で、バースカラに数学を教え、バースカラはそれを息子 Loksamudra に継承させた。Loksamudra の息子は1207年に学校設立を助け、そこでバースカラの書いた文書の研究を行った。 バースカラは、12世紀の数学および天文学の発展に大きな業績を残した。主な著書として、『リーラーヴァティ』(主に算術を扱っている)、『ビージャガニタ』(代数学)、『シッダーンタ・シローマニ』(1150年)がある。『シッダーンタ・シローマニ』は Goladhyaya(球面)と Grahaganita(惑星の数学)の2部構成になっている。.

新しい!!: 置換 (数学)とバースカラ2世 · 続きを見る »

バブルソート

バブルソート (bubble sort) は、ソートのアルゴリズムの一つ。隣り合う要素の大小を比較しながら整列させること。最悪計算時間がO(n2)と遅いが、アルゴリズムが単純で実装が容易なため、また並列処理との親和性が高いことから、しばしば用いられる。安定な内部ソート。基本交換法、隣接交換法ともいう。(単に交換法と言う場合もある).

新しい!!: 置換 (数学)とバブルソート · 続きを見る »

パオロ・ルフィニ

パオロ・ルフィニ(Paolo Ruffini、1765年9月22日-1822年5月10日)はイタリアの数学者、哲学者、医者。.

新しい!!: 置換 (数学)とパオロ・ルフィニ · 続きを見る »

ドナルド・クヌース

ドナルド・エルビン・クヌース(Donald Ervin Knuth, 1938年1月10日 -)は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 理論計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。.

新しい!!: 置換 (数学)とドナルド・クヌース · 続きを見る »

ニールス・アーベル

ニールス・ヘンリック・アーベル(Niels Henrik Abel、1802年8月5日 - 1829年4月6日)はノルウェーの数学者である。.

新しい!!: 置換 (数学)とニールス・アーベル · 続きを見る »

列 (数学)

数学において列(れつ、sequence)とは、粗く言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「A,B,C」は3つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合(すなわち半順序に並べる場合)も列という場合がある(例:有向点列)。集合との違いは順番が決まっている事で、順番を変更したものは別の列であるとみなされる。たとえば列「A,B,C」と列「B,C,A」は異なる列である。 数を並べた列を数列、(何らかの空間上の)点を並べた列を点列、文字を並べた列を文字列(あるいは語)という。このように同種の性質○○を満たすもののみを並べた場合にはその列を「○○列」という言い方をするが、異なる種類のものを並べた列も許容されている。 列の構成要素は、列の要素あるいは項(こう、term)と呼ばれ、例えば「A,B,C」には3つの項がある。項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列(ゆうげんれつ、finite sequence)と、そうでないものを無限列(むげんれつ、infinite sequence)と呼ぶ。(例えば正の偶数全体の成す列 (2, 4, 6,...) )。.

新しい!!: 置換 (数学)と列 (数学) · 続きを見る »

アナグラム

アナグラム(anagram)とは、言葉遊びの一つで、単語または文の中の文字をいくつか入れ替えることによって、全く別の意味にさせる遊びである。 文字列を逆順にして一致するかどうかを調べればよい回文とは異なり、単純に考えて異なるN種類の文字列ならNの階乗通り(例えば5文字なら120通り)の並べ替えが可能なので、意味のあるアナグラムを一瞬で見つけるのは困難である。逆にそれだけの可能性があるため、たいていの言葉は(強引な意味づけをすることで)アナグラムになりうる。 例えば「アナグラム」から「グアムなら」などのアナグラムを作ることができる。.

新しい!!: 置換 (数学)とアナグラム · 続きを見る »

アーベル–ルフィニの定理

アーベル–ルフィニの定理(アーベル–ルフィニのていり、Abel–Ruffini theorem)は、五次以上の代数方程式には解の公式が存在しない、と主張する定理である。より正確には、5以上の任意の整数 n に対して、一般の n 次方程式を代数的に解く方法は存在しない、という定理である。.

新しい!!: 置換 (数学)とアーベル–ルフィニの定理 · 続きを見る »

エンリコ・ベッチ

ンリコ・ベッチ(Enrico Betti、1823年10月21日 - 1892年8月11日)は、イタリアの数学者である。1871年に書かれ、後にベッチの名前を取ってベッチ数と呼ばれることになる概念を導いた、位相幾何学に関する論文で有名である他、方程式論の研究も行いガロア理論に初期の説明を与えた。物理学(構造力学)の研究の仕事もあり、弾性力理論の帰結としての相反作用の定理を発見した。.

新しい!!: 置換 (数学)とエンリコ・ベッチ · 続きを見る »

エヴァリスト・ガロア

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

新しい!!: 置換 (数学)とエヴァリスト・ガロア · 続きを見る »

エディントンのイプシロン

ディントンのイプシロンは、数学で用いられる記号。交代記号、レヴィ.

新しい!!: 置換 (数学)とエディントンのイプシロン · 続きを見る »

オーギュスタン=ルイ・コーシー

ーギュスタン=ルイ・コーシー(Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日)はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.

新しい!!: 置換 (数学)とオーギュスタン=ルイ・コーシー · 続きを見る »

オックスフォード大学出版局

Walton Streetのオックスフォード大学出版局 オックスフォード大学出版局(オックスフォードだいがくしゅっぱんきょく、英語:Oxford University Press、略称OUP)は、イングランドのオックスフォード大学の出版局を兼ねる出版社である。OUPは世界最大の大学出版局であり、アメリカの全ての大学出版局とケンブリッジ大学出版局の合計以上の規模を誇る。OUPはケンブリッジ大学出版局とともに、イギリスの特権出版社(en:privileged presses イギリスで祈祷書・欽定訳聖書の出版権を持つ出版社)の一つである。インド・パキスタン・カナダ・オーストラリア・ニュージーランド・マレーシア・シンガポール・ナイジェリア・南アフリカ共和国など、世界中に支部を持っている。OUP USAは1896年ごろに設立され、1987年に法人化された非公開有限(en:private limited company)の子会社で、OUP初の国際ベンチャーである。1905年設立のカナダ支部は2番目。OUP全体は選挙によって選ばれた、出版局代表団(Delegates of the Press)と呼ばれる代表者たちによって運営される。出版局代表団はすべてオックスフォード大学のメンバーである。現在、OUPが用いる出版社名は二つある。第一に参考書・教育書・学術書などの大部分はOxford University Press(オックスフォード大学出版局)名義、「名声のある(prestige)」学術書はClarendon Press(クラレンドンプレス)名義である。主要な支部のほとんどは、OUP本部の書籍の発行・販売だけでなく、その地域の出版社として機能している。 OUPは1972年にアメリカの法人税を控除され、1978年にイギリスでも控除された。OUPは、慈善事業団体としてほとんどの国で所得税・法人税を控除されているが、出版物に対し、売上税その他の商取引に関する税金を払う場合もある。OUPは現在、黒字の30%(毎年最低12万ポンドの確約つき)をオックスフォード大学に送っている。OUPは出版数として世界最大の大学出版局で、毎年4500冊以上の新刊を出版し、従業員数は約4000人。OUPはオックスフォード英語辞典、、Oxford World's Classics、Oxford Dictionary of National Biographyなどの参考書・専門書・学術書を出版している。これらの重要書籍の多くが、Oxford Reference Onlineというパッケージとして電子公開されており、イギリスの公立図書館の利用者カードの所有者には無料で提供されている。 哲学者のアンドリュー・マルコムが、著書Making Namesに関する1985年の出版契約不履行について提訴した裁判で、1990年OUPはイギリス控訴院にて敗訴した。1998年、OUPは人気の高かったOxford Poetsシリーズを打ち切った。2001年、OUPはイギリスの法律系出版社Blackstoneを取得した。2003年、OUPはMacmillan PublishersからGrove Dictionary of Music and Musicians(グローヴ音楽事典)・Grove Dictionary of Art(グローヴ芸術事典)を取得した。2006年、OUPはイギリスの出版社Richmond Law & Taxを取得した。 OUPで出版された本のISBNは0-19で始まる。つまりOUPは数少ないISBN識別番号2桁の出版社のひとつなのである。(ISBN番号は13桁と決まっており、桁が少ないほど多くの図書を登録できるようになっている。).

新しい!!: 置換 (数学)とオックスフォード大学出版局 · 続きを見る »

ガロア理論

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

新しい!!: 置換 (数学)とガロア理論 · 続きを見る »

ジョゼフ=ルイ・ラグランジュ

ョゼフ=ルイ・ラグランジュ(Joseph-Louis Lagrange, 1736年1月25日 - 1813年4月10日)は、数学者、天文学者である。オイラーと並んで18世紀最大の数学者といわれている。イタリア(当時サルデーニャ王国)のトリノで生まれ、後にプロイセン、フランスで活動した。彼の初期の業績は、微分積分学の物理学、特に力学への応用である。その後さらに力学を一般化して、最小作用の原理に基づく、解析力学(ラグランジュ力学)をつくり出した。ラグランジュの『解析力学』はラプラスの『天体力学』と共に18世紀末の古典的著作となった。.

新しい!!: 置換 (数学)とジョゼフ=ルイ・ラグランジュ · 続きを見る »

ソート

ート は、データの集合を一定の規則に従って並べること。日本語では整列(せいれつ)と訳される。(以前はその原義から分類という訳語が充てられていたが、もう使われていない) 主にコンピュータソフトにおけるリストに表示するデータに対し、全順序関係によって一列に並べることを指す。また、単に「ソート」といった場合、値の小さい方から大きい方へ順に並べる昇順(しょうじゅん、)を指すことが多い。その反対に値を大きい方から小さい方へ順に並べることを降順(こうじゅん、)という。 対象となるデータのデータ構造や必要な出力によって、使われるアルゴリズムは異なる。.

新しい!!: 置換 (数学)とソート · 続きを見る »

タプル

タプルまたはチュープル(tuple)とは、複数の構成要素からなる組を総称する一般概念。 数学や計算機科学などでは通常、順序付けられた対象の並びを表すために用いられる。個別的には、n 個でできた組を英語で「n-tuple」と書き、日本語に訳す場合は通常「n 組」としている。タプルの概念そのものも組と呼ばれる場合がある。なお、 n-tuple は数学のタプルを意味するほか、同様に double、triple などの拡張として倍数詞の表現にも利用される(詳細は「倍#西洋数学における n 倍を表す表現」を参照)。.

新しい!!: 置換 (数学)とタプル · 続きを見る »

写像の合成

数学において写像あるいは函数の合成(ごうせい、composition)とは、ある写像を施した結果に再び別の写像を施すことである。 たとえば、時刻 t における飛行機の高度を h(t) とし、高度 x における酸素濃度を c(x) で表せば、この二つの函数の合成函数 (c ∘ h)(t).

新しい!!: 置換 (数学)と写像の合成 · 続きを見る »

全単射

数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.

新しい!!: 置換 (数学)と全単射 · 続きを見る »

全順序

数学における線型順序(せんけいじゅんじょ、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) が出るから、全順序は半順序の公理を満たす。半順序は(完全性の代わりに反射性のみが課されるという意味で)全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。.

新しい!!: 置換 (数学)と全順序 · 続きを見る »

共役類

数学、とくに群論において、任意の群は共役類(きょうやくるい、conjugacy class)に分割できる。同じ共役類の元は多くの性質を共有し、非アーベル群の共役類の研究はそれらの構造のたくさんの重要な特徴を明らかにする。.

新しい!!: 置換 (数学)と共役類 · 続きを見る »

空積

数学における空積(くうせき、empty product)あるいは零項積 (nullary product) は、 個の因子を掛けた結果である。(考えている乗法演算に単位元が存在する場合に限り)「空積の値は単位元 1 に等しい」という規約を設ける。このことは、空和(すなわち0個の数を足した結果)が零元 0 に等しいと約束することと同様である。 用語 "空積" は算術的演算を議論するときに上の意味で使われることが多い。しかしながら、この用語は集合論の共通部分、圏論の積、コンピュータプログラミングにおける積に対しても使われる。これらは以下で議論される。.

新しい!!: 置換 (数学)と空積 · 続きを見る »

素集合

2つの集合が交わりを持たない (disjoint) あるいは互いに素(たがいにそ、mutually disjoint)であるとは、それらが共通の元を持たぬことをいう。一般に、与えられた集合族が互いに素(pairwise disjoint)、あるいは素集合系(そしゅうごうけい、disjoint sets)であるとは、その集合族に含まれるどの2つの集合をえらんでも、それらの選び方に依らずそれらが常に共通部分を持たないことをいう。例えば、 と は互いに素である。.

新しい!!: 置換 (数学)と素集合 · 続きを見る »

置換の符号

数学において、少なくとも二元を含む有限集合 の置換( から への全単射)は大きく二つのクラス(偶置換と奇置換)に分けられる。 の任意の全順序を固定して、 の置換 の偶奇性(パリティ; 対性)は の転倒数、すなわち の元の対 で なるものの数、の偶奇性によって定義することができる。 置換 の符号 (sign) あるいは符号数 (signature) は、 が偶置換ならば, 奇置換ならば を割り当てる。置換の符号函数 は対称群 の交代指標と呼ばれる群指標を定義する。置換の符号に対する別の記法として、より一般のレヴィ–チヴィタ記号によって与えられる がある。これは から への全単射とは限らない任意の写像に対して定義され、全単射でない写像に対しては を割り当てる。 置換の符号は を の転倒数とすれば と明示的に書くことができる。 あるいは、置換の符号を置換の互換の積への分解によって定義することもできる。すなわち、置換 の互換の積への分解に現れる互換の数を とするとき、 とおくのである。置換のこのような互換の積への分解は一意ではないけれども、分解に現れる互換の総数の偶奇は置換ごとに一定しているので、この方法で置換の符号は矛盾なく定まるJacobson (2009), p. 50.

新しい!!: 置換 (数学)と置換の符号 · 続きを見る »

置換行列

数学の特に行列論における置換行列(ちかんぎょうれつ、permutation matrix)は、各行各列にちょうど一つだけ の要素を持ち、それ以外は全て となるような正方行列を言う。そのような -次正方行列の各々は、特定の 文字の置換を表現するもので、右または左からの行列の積によって列または行の置換を引き起こす。.

新しい!!: 置換 (数学)と置換行列 · 続きを見る »

群 (数学)

数学における群(ぐん、group)とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.

新しい!!: 置換 (数学)と群 (数学) · 続きを見る »

群作用

数学における群作用(ぐんさよう、group action)は、群を用いて物体の対称性を記述する方法である。.

新しい!!: 置換 (数学)と群作用 · 続きを見る »

群論

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

新しい!!: 置換 (数学)と群論 · 続きを見る »

結合法則

数学、殊に代数学における結合法則(けつごうほうそく、associative law) 、結合則、結合律あるいは演算の結合性(けつごうせい、associativity)は二項演算に対して考えられる性質の一つ。ひとつの数式にその演算の演算子が2個以上並んでいる時、その演算子について、左右どちらの側が優先されるかに関わらず結果が同じになるような演算は結合的 (associative) である。.

新しい!!: 置換 (数学)と結合法則 · 続きを見る »

組合せ数学

組合せ数学(くみあわせすうがく、combinatorics)や組合せ論(くみあわせろん)とは、特定の条件を満たす(普通は有限の)対象からなる集まりを研究する数学の分野。特に問題とされることとして、集合に入っている対象を数えたり(数え上げ的組合せ論)、いつ条件が満たされるのかを判定し、その条件を満たしている対象を構成したり解析したり(組合せデザインやマトロイド理論)、「最大」「最小」「最適」な対象をみつけたり(極値組合せ論や組合せ最適化)、それらの対象が持ちうる代数的構造をみつけたり(代数的組合せ論)することが挙げられる。.

新しい!!: 置換 (数学)と組合せ数学 · 続きを見る »

畳み込み

畳み込み(たたみこみ、convolution)とは関数 を平行移動しながら関数 に重ね足し合わせる二項演算である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。.

新しい!!: 置換 (数学)と畳み込み · 続きを見る »

階乗

数学において非負整数 の階乗(かいじょう、factorial) は、1 から までのすべての整数の積である。例えば、 である。空積の規約のもと と定義する。 階乗は数学の様々な場面に出現するが、特に組合せ論、代数学、解析学などが著しい。階乗の最も基本的な出自は 個の相異なる対象を一列に並べる方法(対象の置換)の総数が 通りであるという事実である。この事実は少なくとも12世紀にはインドの学者によって知られていた。は1677年にへの応用として階乗を記述した。再帰的な手法による記述の後、Stedman は(独自の言葉を用いて)階乗に関しての記述を与えている: 感嘆符(!)を用いた、この "" という表記は1808年にによって発明された。 階乗の定義は、最も重要な性質を残したまま、非整数を引数とする函数に拡張することができる。そうすれば解析学における著しい手法などの進んだ数学を利用できるようになる。.

新しい!!: 置換 (数学)と階乗 · 続きを見る »

違いを除いて

数学の文脈における「—(の違い)を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).

新しい!!: 置換 (数学)と違いを除いて · 続きを見る »

順列

初等組合せ論における順列(じゅんれつ、sequence without repetition、arrangement)は、区別可能な特定の元から有限個を選んで作られる重複の無い有限列をいう。 初等組合せ論における「」はともに n-元集合から -個の元を取り出す方法として可能なものを数え上げる問題に関するものである。取り出す順番を勘案するのが -順列、順番を無視するのが -組合せである。.

新しい!!: 置換 (数学)と順列 · 続きを見る »

重複置換

数学における重複置換(ちょうふくちかん、permutations avec répétition)は、区別不能なものを含む対象を順番を考慮して複数の組に分ける方法を言う(対象は区別できないが、組は区別が付く)。例えば、 は二つの と一つの を持つ重複置換である。 一部に区別のつかないものを含む 個の対象を並べ替えて特定の順番に並べるとき、いくつか同じものが生じる場合がある。 として、 個の対象がつくる -組が 種類の相異なる組に分けられるとき、その各々が 個の対象を含む(ただし、 を満たす)ものを考える。このような -組のなかで区別不能なものを入れ替えて得られる -組は同じものと考える。例えば、文字列 MATHÉMATIQUE のアナグラムを全て求めようとするとき、二つの A は区別が付かないのでこれらを入れ替えても文字列としては変わらないが、É と E を入れ替えたときは文字列として相異なる。.

新しい!!: 置換 (数学)と重複置換 · 続きを見る »

自然数の分割

数学の各分野、特に数論および組合せ論 において、正の整数 n の分割(ぶんかつ、partition)あるいは整分割 (integer partition) とは、与えられた正整数 n を正整数の和として表す方法をいう。ただし、和の因子(summand; 被加数)の順番のみが異なる分割は同じ分割とみなされる(順序をも考慮する場合は、順序つき分割または、分割ではなく合成あるいは結合 (composition) と呼ばれる概念となる)。 例えば 4 の異なる分割は次の五通りである。 このとき、順序を考慮した合成 1 + 3 は分割としては 3 + 1 と同じであり、同様に合成としては異なる 1 + 2 + 1 および 1 + 1 + 2 は分割としては 2 + 1 + 1 と同じである。 分割の各因子は部分または成分 (part) などとも呼ばれる。また、各正整数 n に対して n の分割の総数を与える函数を p(n) であらわし、n の分割数 (partition function) と呼ぶ。これによれば上記は p(4).

新しい!!: 置換 (数学)と自然数の分割 · 続きを見る »

集合

数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系(「相互に連立する」方程式の集合)、集合族(「一定の規則に基づく」集合の集合)、加法族(「加法的な性質を持つ」集合族)など。.

新しい!!: 置換 (数学)と集合 · 続きを見る »

逆写像

数学における逆写像(ぎゃくしゃぞう、inverse mapping)は一口に言えば写像の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 が を に写すならば、 の逆写像は を に写し戻す。 函数と呼ばれる種類の写像の逆写像は、逆函数 (inverse function) と呼ばれる。.

新しい!!: 置換 (数学)と逆写像 · 続きを見る »

Qポッホハマー記号

数学において、qポッホハマー記号(q-Pochhammer symbol)はq-類似の数式に頻出する乗積を略記する記号である。 &(a;q)_\infty.

新しい!!: 置換 (数学)とQポッホハマー記号 · 続きを見る »

恒等写像

数学における恒等写像(こうとうしゃぞう、identity mapping, identity function)、恒等作用素(こうとうさようそ、identity operator)、恒等変換(こうとうへんかん、identity transformation)は、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は恒等関係(こうとうかんけい、identity relationである。.

新しい!!: 置換 (数学)と恒等写像 · 続きを見る »

正方行列

正方行列(せいほうぎょうれつ、square matrix)とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.

新しい!!: 置換 (数学)と正方行列 · 続きを見る »

濃度 (数学)

数学、とくに集合論において、濃度(のうど)あるいは基数(きすう)(cardinal number, cardinality, power)とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.

新しい!!: 置換 (数学)と濃度 (数学) · 続きを見る »

挿入ソート

挿入ソート(インサーションソート)は、ソートのアルゴリズムの一つ。整列してある配列に追加要素を適切な場所に挿入すること。平均計算時間・最悪計算時間がともにO(n2)と遅いが、アルゴリズムが単純で実装が容易なため、しばしば用いられる。安定な内部ソート。基本挿入法ともいう。in-placeアルゴリズムであり、オンラインアルゴリズムである。 挿入ソートを高速化したソート法として、シェルソートが知られている。.

新しい!!: 置換 (数学)と挿入ソート · 続きを見る »

日本評論社

日本評論社(にほんひょうろんしゃ)は、日本の出版社の一つである。略称 nippyo。『法律時報』『法学セミナー』『経済セミナー』『数学セミナー』『こころの科学』『からだの科学』で知られる。.

新しい!!: 置換 (数学)と日本評論社 · 続きを見る »

数学

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

新しい!!: 置換 (数学)と数学 · 続きを見る »

1815年

記載なし。

新しい!!: 置換 (数学)と1815年 · 続きを見る »

1852年

記載なし。

新しい!!: 置換 (数学)と1852年 · 続きを見る »

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