プロジェクト:数学のソースを表示

{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|class=skin-invert-image|none|32px]]}}
{{ショートカット|PJ:MATH}}

まず最初に、心に留めておくべき重要な注意事項をひとつ：

数人のウィキペディアンが数学関連の記事でどんな風にデータを整理するかについての提案をするために集まりました。これらは単なる提案であって、記事を書く際の迷いを取り除いて先に進めるようにするためのもので、これに従う義務があるというものではありません。ただ、もしも何を書いていいか、どこから手をつけていいかわからない、といった状態にいる場合には、以下のガイドラインは助けになるかも知れません。つまるところ、われわれはあなたにぜひ記事を書いていただきたいと考えています！

== プロジェクト名 ==
'''ウィキプロジェクト 数学'''

== 範囲 ==
このプロジェクトの主な目的は、数学、物理学、計算機科学、ならびに他の諸分野における数学的な記述に関する環境を整えることにあります。

このウィキプロジェクトの具体的な目標は：
*数学関連の記事の「骨組み」になるようなスタンダード・フォーマット（テンプレート）の提供。
*記事の執筆者のための役に立つリンク集の提供。
*ウィキペディアのこの分野の諸問題に関する議論をするための場所の提供。
*ウィキ版の HTML／TeX を用いた数学記述の方式に関する基準の提供。

== プロジェクトの位置づけ ==
* 上位プロジェクトは今のところありません。
* 下位プロジェクトは今のところありません。
隣接プロジェクト
* [[Wikipedia:ウィキプロジェクト 物理学]]

== 数学記事の構造として提案されているもの ==
たいていの場合にうまくいっていると考えられる構成を以下に説明します。強制的なものではありませんが、充実した記事を書くためにどんな情報が必要かというヒントになるでしょう。細かなスタイルについてはまだ確定していません。

* '''記事の始めに導入を書く'''：記事の始め（目次の前）に[[Wikipedia:スタイルマニュアル (導入部)]] に準拠した簡単な導入を書きます。この段落では一般的な用語で記事の主題を説明し、その用語が用いられる数学の文脈についてはっきりさせます。'''項目名'''はボールド体で、そのあとによみがなと英語表記を括弧の中に入れて続けます。例えば：
:: [[位相幾何学]]やそれと関連する[[数学]]の諸分野における'''連続写像'''（れんぞくしゃぞう、''continuous mapping''）とは[[位相空間]]の間の写像のうちで、より近くにある点同士はより近くなるように写されるようなもののことである、現代数学ではこのことが位相構造の引き戻しによって定式化される。連続写像は最も基本的なクラスの位相空間の間の対応を与えていると見なせる。
*'''厳密な定義は節を作る'''：数学の用語を用いた厳密な定義は、“==定義==”見出しの下に書くとよいでしょう。
例えば：
:: ''S'' と ''T'' とを[[位相空間]]とし、''f'' を ''S'' から ''T'' への[[写像]]とする。 ''T'' の任意の[[開集合]] ''O'' について、その[[逆像]] ''f''<sup>&minus;1</sup>(''O'') が ''S'' の開集合であるとき、''f'' を''連続写像''という。
: 記事中で必要になるけれどあえて別に記事を立てる必要がないような付随的な概念についてもここで定義するとよいでしょう。
*'''例示'''：幾つかの例（しばしば ==例== という見出しの下に続く）は、定義についての説明の補強であり、その概念が何故、人々に用いられるのかについての説明でもあります。また、例としてあてはまらないものを挙げるのもいいかも知れません。つまり、定義をほとんど満たすかのように見えて実のところ満たさないようなものについて説明し、読者の直感がより鋭く磨かれるようにするわけです。
*'''より一般的な記号を使う'''：しばしば、何らかの数式を記述する必要がありますが、例えば ''x''^''n'' = ''x''**''n'' = ''x''<sup>''n''</sup> だということは必ずしも誰にとっても明かではないということをお忘れなく。できれば、標準的な表記（下にリストします）を使ってみて下さい。もしも標準的なものでない表記を使う場合や、何か新しい表記法を導入する場合には、記事中で定義して下さい。
*'''応用や動機を書く'''：記事の主題の応用や動機についても記述するとよいでしょう。主題自体の重要性や、他の話題との関連についての理解を助けます。また、記事の主題をより一般化させて得られる概念についても触れるとよいでしょう：例えば「実数は解析学を構成する上で最も基本的な数の範疇であり、自然科学における計測を表現するためにも用いられる。また、実数における加減乗除は一般の体の構造として一般化される」などです。
*'''歴史について書く'''：歴史についてのセクションがあると役に立つでしょう。これによって現代的な定式化では覆い隠されてしまうような、記事の主題が発展させられた動機や経緯について更に理解を与えることにもなります。
*'''関連項目にリンクする'''：最後に、既にウィキペディアの記事がかなりの量書かれているので、「関連項目」節の下にそれらへのリンクを提供するのにもよいでしょう。

== 考慮すべき問題 ==
=== 証明について ===
ウィキペディアは百科事典であって、数学の教科書の集まりではありません。とはいえ、何かの定理や定義の意味をより明らかにするために証明を含めたくなる時があります。証明を含めることの問題は、それが記事の説明の流れをブロックしてしまうことです。個々人の判断に任されますが、基本的なルールとしては、説明の一環になっているなら証明を含め、証明から導き出される結論が単に「以上からＰは真である」になるのであれば、省略するといいでしょう。多くの読者は証明を飛ばして読みたいだろうと思われるので、証明は別のセクションにまとめるなどして分離するのはいいアイディアです。

=== 用語・表記の曖昧さ ===
いくつかの用語は専門文献の中でも、分野によってあるいは著者によって異なる意味で使われます。また、いくつかの用語、表記が同じ概念を指しているということも珍しくありません。曖昧（多義的）な用語についてはウィキペディア内の既存の記事をチェックして、どんな使い方が確立されているか、（それを変更したいと思うか）について確認してみることができます。

表記揺れについては、過去に様々な議論が行われていますが、明確な合意には至っておらず、執筆者の裁量に任されているのが現状です。具体的には以下のような例があります。'''表記を自分の好みのものに変更するだけの編集は好ましくないものとされていますので、御注意ください。'''

* （'''冪乗、べき乗、巾乗、累乗'''）：''power'' の概念を表すのに様々な表記があります。「冪」は最も正式な字と見なされていますが、読みにくいのが難点です。一方「べき」は読みやすく、他の字のような誤用の心配はありませんが、文脈によっては意味がとりづらくなることがあります。「巾」は「冪」の簡略形として使われていますが、この簡略化は数学分野独自のものであり正書法とは見なされていません。また、「羃」は「冪」の異体字なので使用を避けた方がいいでしょう。中等教育では「累乗」もよく使われていますが、高等教育や研究者による文献では、「冪級数」や「冪零」などの用語との兼ね合いから「冪／べき」が優勢のようです。
* （'''線型、線形'''）：''linear'' の概念を表すときに線型と線形の二つの表記がありますが、どちらの表記も実際に使用されていますので気にしすぎる必要はありません。[[ノート:線型代数学用語一覧]]および[[Wikipedia‐ノート:ウィキプロジェクト 数学]]の議論も参考にしてください。準同型、同型などとの兼ね合いから、2009年現在のウィキペディアの数学記事では「線型」が主に用いられています。
* （'''函数、関数'''）：''function'' の概念を表すのに函数と関数の二つの表記があります。本来の用法で「函数」を用いるべきとの意見や、[[学術用語集]]にしたがって「関数」を用いるべきとの意見があります。詳しくは[[プロジェクト:数学/函数と関数]]をご覧ください。

=== 翻訳時の注意 ===
他言語版からの翻訳をする場合、分野によって対応する訳語が異なる場合があることにも注意してください。例えば英語の ''operator'' は「演算子」と訳されることもあれば「作用素」と訳されることもあります。また、数学用語としての訳が確定している言葉で、一見数学用語には見えないものもあります。例えば、数学用語としての ''root'', ''leaf'', ''stalk'', ''fiber'' は''根''、''葉''、''茎''、''ファイバー''と訳すのが普通です。どう訳したらいいか困ったときはプロジェクトの参加者に聞いてみてください。

{{/スタイルマニュアル (数式)}}

=== 一般的な注意 ===
おそらく、数学関連の記事を（実際のところどんな記事でも）執筆する際に一番難しい問題は数学の知識をどのくらい読者に期待するかでしょう。たとえば、「[[可換体|体]]」について書く際に、読者が「群論」を知っていることを前提にするべきでしょうか？  一般的なアプローチは、できる限り簡単な説明から始めて、記事が進むに従ってより抽象的で一般的な命題に移っていく、というものです。

リンクは用語が最初に登場した時にだけ使って下さい。「その[[集合]]自身を要素として含むような全ての[[集合]]の[[集合]]」よりも「その[[集合]]自身を要素として含むような全ての集合の集合」の方が読みやすいです。

また、新しい記事を作成する前に、ウィキペディア内に既にどんな記事が書かれているか少し調べてみるとよいでしょう。これはどんな情報が既にあり、どの程度詳細な情報を提供する必要があるかについて知る手がかりになります。記事を書くにあたって、ウィキペディアがつねに成長し続けていることを念頭においてください。そこで、記事内で使われている用語がそれほど従属的なものでなく、他の記事内でも使われることになるなら、その場で定義・証明しないでリンクを張ってリンク先に優れた書きかけ記事を作成して下さい。もしその記事を[[:Category:数学に関する記事]]に入れておけば、おそらく誰かが加筆してくれるでしょう。

== 役に立つリンクと資源 ==
図式はしばしば、数学的な概念を説明するのに大変役に立つものです。[[:en:User:Chas_zzz_brown]], [[User:Makotoy]]は喜んでそれを作ってくれるそうです（時間と能力その他が与えられれば）。

'''[[プロジェクト:数学/数学に関する記事]]''' は、ウィキペディアに数学関連のすべての記事の変更の後を追うのに使われます。これは一般的な"最近変更したページ"のやり方に似ています。数学に少しでも関係する記事（数学者の伝記的記事など）が新しく付け加わったときには、それを一覧に加えてください。そうすることで誰もがあなたの投稿を査読したり、内容を付け加えたり、容赦なく批評したり出来ます。

記事の一覧はまた、すでにウィキペディアに存在する題材で、あなたの題材にリンクできるものをチェックするのにも役立ちます。これは用語を定義したり記述を修正したりする労力を減らすことを助けます；また定義や証明の重複を減らすことにも役立つでしょう。

== 数学関連のスタブ項目 ==
以下のスタブカテゴリがあります。
{| class="wikitable"
|-
!分野!!テンプレート!!カテゴリ
|-
|[[数学]]||{{Tl|Math-stub}}||[[:Category:数学関連のスタブ項目]]
|-
|[[集合論]]||{{tl|Settheory-stub}}||[[:Category:集合論関連のスタブ項目]]
|-
|[[数理論理学]]||{{tl|Mathlogic-stub}}||[[:Category:数理論理学関連のスタブ項目]]
|-
|[[代数学]]||{{tl|Algebra-stub}}||[[:Category:代数学関連のスタブ項目]]
|-
|[[抽象代数学]]||{{tl|Abstract-algebra-stub}}||[[:Category:抽象代数学関連のスタブ項目]]
|-
|[[線型代数学]]||{{tl|Linear-algebra-stub}}||[[:Category:線型代数学関連のスタブ項目]]
|-
|[[圏論]]||{{tl|Categorytheory-stub}}||[[:Category:圏論関連のスタブ項目]]
|-
|[[数論]]||{{tl|Numtheory-stub}}||[[:Category:数論関連のスタブ項目]]
|-
|[[組合せ数学]]|| {{tl|Combin-stub}}||[[:Category:組合せ数学関連のスタブ項目]]
|-
|[[幾何学]]|| {{tl|Geometry-stub}}||[[:Category:幾何学関連のスタブ項目]]
|-
|[[初等幾何学]]||{{tl|Elementary-geometry-stub}}||[[:Category:初等幾何学関連のスタブ項目]]
|-
|[[微分幾何学]]||{{tl|Differential-geometry-stub}}||[[:Category:微分幾何学関連のスタブ項目]]
|-
|[[位相幾何学]]||{{tl|Topology-stub}}||[[:Category:位相幾何学関連のスタブ項目]]
|-
|[[結び目理論]]||{{tl|Knottheory-stub}}||[[:Category:結び目理論関連のスタブ項目]]
|-
|[[代数幾何学]]||{{tl|Algebraic-geometry-stub}}||[[:Category:代数幾何学関連のスタブ項目]]
|-
|[[多面体]]||{{tl|Polyhedron-stub}}||[[:Category:多面体関連のスタブ項目]]
|-
|[[多胞体]]|| {{tl|Polychora-stub}}||[[:Category:多胞体関連のスタブ項目]]
|-
|[[解析学]]|| {{tl|Mathanalysis-stub}}||[[:Category:解析学関連のスタブ項目]]
|-
|[[確率論]]|| {{tl|Probability-stub}}||[[:Category:確率論関連のスタブ項目]]
|-
|[[統計学]]||{{tl|Statistics-stub}}||[[:Category:統計学関連のスタブ項目]]
|-
|[[応用数学]]|| {{tl|Applied-math-stub}}||[[:Category:応用数学関連のスタブ項目]]
|-
|[[暗号理論]]|| {{tl|Crypto-stub}}||[[:Category:暗号理論関連のスタブ項目]]
|-
|[[数学の競技]]|| {{tl|Math-competition-stub}}||[[:Category:数学の競技関連のスタブ項目]]
|-
|[[数学]]の[[出版物]]|| {{tl|Mathematics-lit-stub}}||[[:Category:数学の出版物関連のスタブ項目]]
|-
|[[数学]]の[[学術雑誌]]|| {{tl|Mathematics-journal-stub}}||[[:Category:数学の学術雑誌関連のスタブ項目]]
|-
|[[数学者]]||{{tl|Mathematician-stub}}||[[:Category:数学者関連のスタブ項目]]
|-
|[[数]]||{{Tl|Num-stub}}||[[:Category:数のスタブ項目]]
|}

== 参加者 ==
数学の記事を執筆されている方はぜひ[[Wikipedia:今週のヒント集/ノートページに署名をしましょう|チルダ3つ]]<nowiki>~~~</nowiki>でご記名ください。執筆を呼びかけるときなど参加者間での質問や協力に役立ちます。
* [[利用者:Makotoy|Makotoy]]
* '''<span style="font-family: 'Lucida Handwriting',cursive; color:#8A0829; text-shadow:4px 3px 13px #848484;">[[利用者:たにーにょ|たにーにょ]]</span>'''
* [[利用者:Zon++|Zon++]]
* [[利用者:Drood|Drood]]
* [[利用者:K.F.|K.F.]]
* [[利用者:白駒|白駒]]
* [[利用者:Lagrange|lagrange]]
* <span style="border:1px solid;color:#000085">[[User talk:Kurosuke88|<span style="color:#000085;">&nbsp;'''Kurosuke'''&nbsp;</span>]]</span>
* [[利用者:どんどん|どんどん]]
* [[利用者:Korokamen|Korokamen]]
* [[利用者:南沼海老|南沼海老]]
* [[利用者:東方院いくと]]<span class="plainlinks" style="font-size:smaller">（[[利用者‐会話:東方院いくと|会話]] / [[特別:投稿記録/東方院いくと|履歴]]）</span>
* [[利用者:Math70|Math70]]
* [[利用者:Don-hide|Don-hide]]
* [[利用者:Hymath|Hymath]]（[[利用者‐会話:Hymath|会話]]）
* [[利用者:Tkcom|Tkcom]]（[[利用者‐会話:Tkcom|会話]]）
* [[利用者:Suppositorium|Suppositorium]]（[[利用者‐会話:Suppositorium|会話]]）
* [[利用者:積善錬錬|積善錬錬]]（[[利用者‐会話:積善錬錬|会話]]）
* [[利用者:ARAKI Satoru|ARAKI Satoru]]（[[利用者‐会話:ARAKI Satoru|会話]]）
* [[利用者:Matwiz|龍神]]（[[利用者‐会話:Matwiz|会話]]）
* [[利用者:Knotopologynn|Knotopologynn]]
* [[利用者:Takahiro4|Takahiro4]]（[[利用者‐会話:Takahiro4|会話]]）
* [[利用者:虎子算|虎子算]]（[[利用者‐会話:虎子算|会話]]）
* [[利用者:僕は棚ですが何か|僕は棚ですが何か]]（[[利用者‐会話:僕は棚ですが何か|会話]]）
* [[利用者:コトバンク|コトバンク]]（[[利用者‐会話:コトバンク|会話]]）
* [[利用者:Zar2100|Zar2100]]（[[利用者‐会話:Zar2100|会話]]）
* '''<span style="font-family: 'Lucida Handwriting',cursive; color:#8A0829; text-shadow:4px 3px 13px #848484;">[[利用者:天桜|天桜]]<small>([[利用者‐会話:天桜|Talk]]/[[特別:投稿記録/天桜|Contributions]])</small></span>'''
* [[利用者:Linuxmetel|Linuxmetel]]（[[利用者‐会話:Linuxmetel|会話]]）
* [[利用者:雪妖精|雪妖精]]（[[利用者‐会話:雪妖精|会話]]・[[特別:投稿記録/雪妖精|履歴]]）
* [[User:Kyosu-tanni|Kyosu-tann<math>{\color{Blue}{i}}</math>]]（[[User talk:Kyosu-tanni|会話]]・[[Special:Contribs/Kyosu-tanni|投稿]]）
* [[利用者:Merliborn|Merliborn]]（[[利用者‐会話:Merliborn|会話]]）
* [[利用者:Malca-ite-chon&#39;e|Malca-ite-chon&#39;e]]（[[利用者‐会話:Malca-ite-chon&#39;e|会話]]）
* [[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]）
* [[利用者:Sikada|Sikada]]（[[利用者‐会話:Sikada|会話]]）
* [[利用者:最終編集|最終編集]]（[[利用者‐会話:最終編集|会話]]）
* [[利用者:Clocktower2022|Clocktower2022]]（[[利用者‐会話:Clocktower2022|会話]]）
* [[利用者:ぐしー|ぐしー]]（[[利用者‐会話:ぐしー|会話]]）
* [[利用者:Sakura Taio|Sakura Taio]]（[[利用者‐会話:Sakura Taio|会話]]）
*<span style="font-family:Super Mario;font-size:30px;">[[利用者:マリオと数学が好きな人|マリオと<span style="font-size:20px;">'''数学'''</span>が<span style="font-size:20px;">'''好'''</span>きな人]]([[利用者‐会話:マリオと数学が好きな人|<span style="font-size:20px;">会話</span>]])</span>
*[[利用者:Mr.R1234|Mr.R1234]]（[[利用者‐会話:Mr.R1234|会話]]）
* [[利用者:KrisWalton|KrisWalton]]（[[利用者‐会話:KrisWalton|会話]]）
{{ウィキプロジェクト}}

{{デフォルトソート:すうかく}}
[[Category:ウィキプロジェクト 数学|*]]
[[Category:自然科学関連のウィキプロジェクト]]
[[Category:数学|*wふろしえくと]]