不等号のソースを表示
←
不等号
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{Otheruses||[[乃木坂46]]の楽曲|不等号 (曲)}} '''不等号'''（ふとうごう）は、[[実数]]などの大小関係を表すための[[数学記号|数学記号・用語]]である。 より一般的には、[[順序集合]]（例: [[整数]]、実数）の2つの[[元 (数学)|要素]]の間の順序（大小ともいう）を表す。 ==概要== 順序集合の二つの元は、等しいか、片方が他方より大きいか、等しくなく大小関係がないか、のいずれかである。 2つが等しい場合は[[等号]]（=）を使い、2つに大小関係がある場合にのみ不等号を使う。 等しくなく、大小関係がない、あるいは問題としないときには否定等号（≠）を使う。否定等号は「不等」を表す記号ではあるが、大小関係がなくとも使える（例: [[複素数]]）ので、大小を表す記号とは性質が異なり、不等号には含めないことがある。 不等号は等号と同様に[[中置記法|中置]]し、左辺と右辺の間の順序を表す。 等号を含む[[等式]]と同様、不等号を含む式を[[不等式]]と呼ぶが、等号を含む条件式が[[方程式]]と呼ばれるのに対し、不等号を含む条件式も[[不等式]]と呼ばれる｡ == 基本的な不等号 == === 単純な不等号 === {{記号文字|< >}} 「A < B」は「左辺(A)が右辺(B)より小さいこと」を示す。「A > B」は「左辺(A)が右辺(B)より大きいこと」を示す。 これらの記号の初出は[[1631年]]発刊[[トーマス・ハリオット]]『演習解析術』（死後発刊）である<ref name="kurogi">{{Cite |和書 | author = 黒木哲徳 | title = なっとくする数学記号 | date = 2021 | pages = 108 | publisher = 講談社 | isbn = 9784065225509 | series = ブルーバックス | ref = harv}}</ref>。 日本語の読みは[[文部科学省]]により「A < B」を「〜(A)は〜(B)'''より小さい'''」、「A > B」を「〜(A)は〜(B)'''より大きい'''」と読むように指導されているが、長い不等式を読み下す場合などには「A < B」を「(A)'''小（しょう）なり'''(B)」、「A > B」を「(A)'''大（だい）なり'''(B)」と読まれる。 プログラミングでは「LT (<u>'''l'''</u>ess <u>'''t'''</u>han)」「GT (<u>'''g'''</u>reater <u>'''t'''</u>han)」と呼ぶこともある。 ==== 使用例==== : <math>2<3</math>（2は3より小さい／2小なり3）、<math>3 > 2\,</math>（3は2より大きい／3大なり2） === 等号付き不等号 === {{記号文字|{{Unicode|≦ ≧ ≤ ≥ ⩽ ⩾}}}} {{Unicode|「≦」「≤」「⩽」}} （いずれでも意味は同じ）は左辺が右辺より小さいか等しい（a < b [[論理和|または]] a = b）ことを示す。{{Unicode|「≧」「≥」「⩾」}}は左辺が右辺より大きいか等しいことを示す。 記号「≦」の初出は[[1734年]][[ピエール・ブーゲ]]の著書である<ref name="kurogi"/>。 初等教育では <、> の「(等号を含まない)不等号」を先に導入するが、数学一般においては等号を含めた「≦」を先に定義する方が自然な場合が多く、「<」のほうが「a ≦ b [[論理積|かつ]] a ≠ b」として定義される。 日本の[[初等教育]]・[[中等教育]]では「≦」「≧」と不等号の下に等号を書く場合が多い。 欧米では不等号の下に一本線を書いた{{Unicode|「≤」「≥」}}や不等号の下に平行な線を書いた{{Unicode|「⩽」「⩾」}}と書く場合が多い。 日本語の読みは文部科学省により「〜は〜'''以下'''」、「〜は〜'''以上'''」と指導されているが、「'''小なりイコール'''」および「'''大なりイコール'''」として参照されることも多い。 プログラミングでは「LE (<u>'''l'''</u>ess than or <u>'''e'''</u>qual to)」「GE (<u>'''g'''</u>reater than or <u>'''e'''</u>qual to)」と呼ぶこともある。 ==== 使用例 ==== : <math>0 \leqq a^2</math>（0はa<sup>2</sup> 以下／0小なりイコールa<sup>2</sup>）、<math>a^2 \geqq 0</math>（a{{sup|2}} は0以上／a<sup>2</sup> 大なりイコール0） ===発展的な用法=== 「a < b」と「b > a」、「a ≦ b」と「b ≧ a」は、それぞれ全く同じ意味である。 3辺の不等式 a < b < c は、同じ形の等式と同様に「a < b かつ b < c」を意味し、[[推移律]]により a < c も同時に表している。 a < b < c = d ≦ e < …… のように、4辺以上になったり「{{Unicode|≤}}」や等号が混ざったりしても同様である。「>」「{{Unicode|≥}}」「=」でも同様の表現ができる。 ただし、「<」「≦」と「>」「≧」が混ざることは（推移律が成り立たず実用性が乏しいので）まれである。 ====区間==== 3辺の不等式は変数の含まれる[[区間 (数学)|区間]]を表すのによく使われる。 : <math>a < x < b\,</math> は <math>x \in (a, b)</math> に等価 : <math>a \leqq x < b</math> は <math>x \in [a, b)</math> に等価 : <math>a < x \leqq b</math> は <math>x \in (a, b]</math> に等価 : <math>a \leqq x \leqq b</math> は <math>x \in [a, b]</math> に等価 == 派生記号 == === 複号 === {{記号文字|{{Unicode|≶ ≷ ⪋ ⪌ ≦ ≧ ⪙ ⪚}}}}{{記号文字|{{Unicode|≶ ≷ ⋚ ⋛ ≤ ≥ ⋜ ⋝}}}} 記号の組合わせ方として[[プラスマイナス記号#マイナスプラス記号|複号同順]]を指定した式では、{{Unicode|「≶」「≷」「⪋」「⪌」「≦」「≧」「⪙」「⪚」}}もしくは{{Unicode|「≶」「≷」「⋚」「⋛」「≤」「≥」「⋜」「⋝」}}が使われる。 ただし{{Unicode|「≤」「≥」「≦」「≧」}}は以下・以上と紛らわしいので、「[[複号同順]]」や「等号は同時にのみ成り立つ」、「不等号の向き同順」等の但し書きを添えることが多い。 1つの論述の中に複数の複号同順を表す不等号を同時に用い、複号同順を表す不等号の上部および下部のそれぞれ（「{{Unicode|⋚}}」、「{{Unicode|⋛}}」の場合は上部、中央、下部のそれぞれ）で文が成り立つ場合に用いる。また、「±」および「{{Unicode|∓}}」と共にも用いられる。 1つの式だけで使われることは稀で、「〜ならば〜」「〜のとき〜」「〜とすると〜」などと複数の式にまたがり使われることが多い。 正負の複号と違い、1回使われるだけでは意味を成さない。「どちらかが成り立つ」（x = ±1 : x = 1 または x = −1）のような用法は、等号付き不等号でのみ使われる。 日本では、{{Unicode|「⪋」「⪌」}}と中央をイコールの2本線で表記する場合が多いが、欧米では{{Unicode|「⋚」「⋛」}}と1本線で表す場合が多い。 ==== 使用例==== : <math>a \lessgtr b \lessgtr c</math> （ (a < b < c) または (a > b > c) ） : <math>a \lessgtr b</math> ならば <math>x + a \lessgtr x + b</math> （（a < b ならば x + a < x + b）であり（a > b ならば x + a > x + b） ） : <math>a \lesseqgtr b</math> ならば <math>x + a \lesseqgtr x + b</math> （（a < b ならば x + a < x + b）であり（a = b ならば x + a = x + b) であり (a > b ならば x + a > x + b）） : <math>a^2 = 4\,</math> で <math>a \gtrless 0</math> ならば <math>a = \pm 2</math> （ (a{{sup|2}} = 4 で a > 0 ならば a = 2) であり (a{{sup|2}} = 4 で a < 0 ならば a = −2) ） === 非常に大きい/小さい === {{see also|ヴィノグラードフの記号}} {{記号文字|≪ ≫}} [[比]]が極度に大きいことを示すために、通常の不等号ではなく、二重不等号「≪」「≫」が使用される。原則として、双方[[非負]]（0以上）の場合にのみ使う。0に近い領域で比が大きいこともあるので、[[減法|差]]は必ずしも大きくない。 その後に[[近似]]計算を行うための説明であることが多い。 「〜は〜より十分に小さい（大きい）」「〜は〜より非常に小さい（大きい）」などと読む。 ここでの「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される。 ==== 使用例 ==== : <math>10^{-10} \ll 0.1 < 1 < 10 \ll 10^{10}</math> : <math>a \gg 1</math> ならば <math>a + 1 \approx a</math> === 大きい/小さいかほぼ等しい === {{記号文字|{{Unicode|≲ ≳ ⪅ ⪆ ⪍ ⪎}}}} {{Unicode|「≲」「⪅」「⪍」}}（意味に大きな違いはない）は「小さいかほぼ等しい」、{{Unicode|「≳」「⪆」「⪎」}}は「大きいかほぼ等しい」を意味する。 近似計算で使われる。 ==== 使用例==== : <math>a \approx 0</math> で <math>b > 0\,</math> ならば <math>a + b \gtrapprox 0</math> == 数学以外の用法 == === コンピュータ === コンピュータの分野では不等号が「LT (less than)」「GT (greater than)」と呼ばれることもある。不等式としては次のように使われる。 * ほとんどの言語で、不等号は < と > で表される。 * ほとんどの言語で、等号付き不等号は <= と >= で表される。 * プログラミング言語においては、不等式は左辺と右辺を[[引数]]にとる二値集合(真偽値の集合)への関数として定義されることが多い。 * [[Python]] のような例を除けば、 a < b < c のような構文は[[エラー]]となるか (a < b) < c と解釈され<!--これ何と c を比較することになるんでしょーか-->、数学記号として期待される結果（a < b かつ b < c）を返さない。ただし[[LISP]]は、(< a b c) でそのような結果を返す。 * [[Pascal]], [[SQL]]などでは <> が、[[C言語]]や[[Python]]では != が、否定等号（≠）として使われる。 * [[Perl]]や[[Ruby]]などでは、<=> は、左辺が右辺より大きければ 1、小さければ −1、等しければ 0 を返す演算子である。 不等式以外に使われる不等号は、次のようなものである。 * 主に[[ASCII]]環境で、< … > を山括弧（‹…› や〈…〉）の、<- -> や < > を[[矢印]]（← →）の代用に使う。不等号以外の用法は、これらから発展したものが多い。 * [[C言語]]、[[Java]]、[[Perl]]など多くの言語で、<< と >> は[[ビットシフト]]演算子である。 * [[C++]]では、<< と >> は（ビットシフト演算子でもあるが）[[ストリームオブジェクト|ストリーム]]への入出力の演算子でもある。 * C++では、[[テンプレート (プログラミング)|テンプレート]]に与える[[引数]]を、<arg1, arg2, ...> のような形で表記する。 * C言語、Perl、[[PHP (プログラミング言語)|PHP]]などでは、-> は[[メンバ変数|メンバ]]演算子である。アロー演算子とも呼ばれる。 * [[Unix]]や[[MS-DOS]]では[[リダイレクト (CLI)|リダイレクト]]を表す。< は[[標準入力]]、> は[[標準出力]]、2> は標準エラー出力、>> は標準出力を追記、等の種類がある。 * Perlでは、$< はプロセスユーザID、$> はプロセス実行ユーザIDを表す。 *Perl、Ruby、PHPなどでは、[[連想配列]]のキーと値を=>で区切る。 * [[Extensible Markup Language|XML]]や[[HyperText Markup Language|HTML]]などの[[Standard Generalized Markup Language|SGML]]では、<要素名> と[[括弧]]のように使い、タグを表す。 * 多くの[[コマンドインタプリタ]]で、> は[[コマンドプロンプト]]に使われる。 * 多くの[[チャット]]システムで、発言の前に発言者の[[ハンドルネーム|ハンドル]]と > を付ける。「ハンドル >」の形のコマンドプロンプトから発展したものである。 * [[電子メール]]や[[電子掲示板]]で、> が[[引用符]]として、引用各行の行頭につけられる。古くは[[タブキー|タブ]]を使っていたが、[[ネスティング|ネスト]]するとタブが連続することになるので、表示桁数節約のために > を使うようになった。 * チャットや電子掲示板で、> や >> のあとにハンドル、人名、[[レス]]番等を書き、その人物やレスへの発言であることを表す。元はリダイレクト構文に由来し、1行発言の後に「Hello > john」のように使った。現代の[[スレッドフロート型掲示板]]では、レスの冒頭に「>>レス番[<nowiki/>[[改行]]]」と書くか、文中に「>>レス番は〜」などと書く。 * 人名の後に＜（通常全角）を付け、その人物の発言であることを表す（通常は実際の発言の引用ではなく代弁やジョークとして）。[[漫画]]の[[ふきだし]]に由来する。 * ロジックパズル『不等号』 並べられた枡の境界線に配置された不等号を手がかりにして枡に当て嵌まる数字を推理する『[[数独]]』に似たパズル。 * [[PowerShell]]、[[C Sharp|C#]]、[[Lua]]、[[PHP (プログラミング言語)|PHP]]、[[Ruby]]、[[Python]]など、多くの[[プログラミング言語]]において、[[ヒアドキュメント]]の[[変数 (プログラミング)|変数]]への[[代入]]、もしくは開始を示す記号として、<code><<</code>が用いられる。 ===その他=== * [[日本語]]の[[日本語の表記体系|文章]]では、[[括弧]]の一種「山括弧」として用いられることがある。 == 文字実体参照 == HTMLでは不等号はタグを表すため、ASCII文字であるにもかかわらず[[文字実体参照]] &lt; (<) と &gt; (>) がある。 等号付き不等号にも文字実体参照 &le; ({{Unicode|≤}}) と &ge; ({{Unicode|≥}}) がある。これらは U+2264 と U+2265 の、等号が一本線の等号付き不等号に変換される。 == 符号位置 == {| class="wikitable" style="text-align:center;" !記号!![[Unicode]]!![[JIS X 0213]]!![[文字参照]]!!名称 {{CharCode|60|003C|1-1-67|不等号(より小)<br />LESS-THAN SIGN|lt}} {{CharCode|62|003E|1-1-68|不等号(より大)<br />GREATER-THAN SIGN|gt}} {{CharCode|8804|2264|1-1-69 包摂|より小さいか又は等しい<br />LESS-THAN OR EQUAL TO|le|font=Unicode}} {{CharCode|8805|2265|1-1-70 包摂|より大きいか又は等しい<br />GREATER-THAN OR EQUAL TO|ge|font=Unicode}} {{CharCode|8806|2266|1-1-69|より小さいか又は等しい<br />LESS-THAN OVER EQUAL TO}} {{CharCode|8807|2267|1-1-70|より大きいか又は等しい<br />GREATER-THAN OVER EQUAL TO}} {{CharCode|8810|226A|1-2-67|非常に小さい<br />MUCH LESS-THAN|font=JIS2004フォント}} {{CharCode|8811|226B|1-2-68|非常に大きい<br />MUCH GREATER-THAN|font=JIS2004フォント}} {{CharCode|8818|2272|-|LESS-THAN OR EQUIVALENT TO|font=Unicode}} {{CharCode|8819|2273|-|GREATER-THAN OR EQUIVALENT TO|font=Unicode}} {{CharCode|8822|2276|1-2-79|小さいか大きい<br />LESS-THAN OR GREATER-THAN|font=JIS2004フォント}} {{CharCode|8823|2277|1-2-80|大きいか小さい<br />GREATER-THAN OR LESS-THAN|font=JIS2004フォント}} {{CharCode|8922|22DA|1-7-86|小さいか等しいか大きい<br />LESS-THAN EQUAL TO OR GREATER-THAN|font=JIS2004フォント}} {{CharCode|8923|22DB|1-7-87|大きいか等しいか小さい<br />GREATER-THAN EQUAL TO OR LESS-THAN|font=JIS2004フォント}} {{CharCode|8924|22DC|-|EQUAL TO OR LESS-THAN|font=Unicode}} {{CharCode|8925|22DD|-|EQUAL TO OR GREATER-THAN|font=Unicode}} {{CharCode|10877|2A7D|-|LESS-THAN OR SLANTED EQUAL TO|font=Unicode}} {{CharCode|10878|2A7E|-|GREATER-THAN OR SLANTED EQUAL TO|font=Unicode}} {{CharCode|10885|2A85|-|LESS-THAN OR APPROXIMATE|font=Unicode}} {{CharCode|10886|2A86|-|GREATER-THAN OR APPROXIMATE|font=Unicode}} {{CharCode|10891|2A8B|1-7-86 包摂|小さいか等しいか大きい<br />LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN|font=Unicode}} {{CharCode|10892|2A8C|1-7-87 包摂|大きいか等しいか小さい<br />GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN|font=Unicode}} {{CharCode|10893|2A8D|-|LESS-THAN ABOVE SIMILAR OR EQUAL|font=Unicode}} {{CharCode|10894|2A8E|-|GREATER-THAN ABOVE SIMILAR OR EQUAL|font=Unicode}} {{CharCode|10905|2A99|-|DOUBLE-LINE EQUAL TO OR LESS-THAN|font=Unicode}} {{CharCode|10906|2A9A|-|DOUBLE-LINE EQUAL TO OR GREATER-THAN|font=Unicode}} {{CharCode|65308|FF1C|1-1-67 包摂|不等号(より小)<br />FULLWIDTH LESS-THAN SIGN}} {{CharCode|65310|FF1E|1-1-68 包摂|不等号(より大)<br />FULLWIDTH GREATER-THAN SIGN}} |} == 出典 == {{脚注ヘルプ}} {{Reflist}} <!-- ==関連項目== --> {{DEFAULTSORT:ふとうこう}} [[Category:約物]] [[Category:数学記号]] [[Category:不等式]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:CharCode
(
ソースを閲覧
)
テンプレート:Cite
(
ソースを閲覧
)
テンプレート:Otheruses
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
テンプレート:See also
(
ソースを閲覧
)
テンプレート:Sup
(
ソースを閲覧
)
テンプレート:Unicode
(
ソースを閲覧
)
テンプレート:脚注ヘルプ
(
ソースを閲覧
)
テンプレート:記号文字
(
ソースを閲覧
)
不等号
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報