Privacy Policy Cookie Policy Terms and Conditions 符号 (数学) - Wikipedia

符号 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』


数学において符号(ふごう、sign)は、ある対象を二分するための符牒として用いる記号の一種である。符号には正符号プラス) "+" と負符号マイナス) "−" がある。形の上では加法演算と減法演算を表す演算子と同じ記号であるが、その意味するところは厳密には異なることに注意すべきである。

目次

[編集] 符号つきの数

a に符号が付されるとき、それは二項演算 0 + a、或いは 0 − a の略記であるとみなされる。実際にはこの場合の符号は関係式

a + (−a) = 0

によって、負符号のみが導入され、+a とは a のことであるとするのが普通である。

[編集] 正符号

正符号あるいは正号(せいごう、plus sign)は数字定数変数の前(左)に付して用いられる十字の記号である。

+

形の上では加法演算子と同一であり、加法演算子の起源はラテン語の et を崩したものであるといわれる。たとえば、+3 のように書く。+3 は、0 よりも 3 大きい数である。しかし単に 3 と書けば、それは多くの場合 +3 を意味するため、特に正の数であることを強調して表す場合の他は、正号を省略して記述することが多い。

[編集] 負符号

負符号あるいは負号(ふごう、minus sign)は数字や定数、変数の左に付して用いられ、負(マイナス)の数を表す短い横棒である。

この記号は減法演算子と同一の形状を持っており、減法演算子の起源は minus の崩したものであるといわれる。たとえば、−3 のように書く。−3 は、0 よりも 3 小さい数である。コンピューターの文字コードでは多くの場合、減法演算子(引き算記号)及びハイフンと同一である。

[編集] 複号

符号のみが異なる複数の値や式を一つにまとめて表すことがある。 ± や \mp のように、+ と − をあわせた記号を複号(ふくごう)という。± は「プラスマイナス」 \mp は「マイナスプラス」と読まれる。±a とは「+a または - a」という意味である。a = 0 の場合は、a = -a であるので、±0 は異なる値をまとめた表現とは言えない。 但し、実験測定などにおいて、正負の値を取るものについて正の側でも負の側でも無い丁度 0 であることを強調するために、 ±0 という表現が用いられることがある。例えば、温度の測定にて丁度 セ氏 0 度であることを表現するために セ氏 ±0 度 のように表記される場合がある。

[編集] 複号による略記法

  • a ± b ± c (複号同順)

と書かれる場合、この末尾の複号同順(ふくごうどうじゅん)とは、二段に並んでいる符号の内「上段だけを読んで得られる式」あるいは「下段だけを読んで得られる式」の 2つを表すという意味であり、この場合であれば

  1. a + b + c
  2. abc

の 2つを表す。また、

  • a \pm b \mp c(複号同順)

であれば、

  1. a + bc
  2. ab + c

の 2つを表す。さらに項の数が多くなっても同様に、上段と下段の2通りしか表さない。一方、

  • a ± b ± c (複号任意)

と書かれる場合、この末尾の複号任意(ふくごうにんい)とは、二段に並んでいる符号の内「どの符号も自由に選んで得られる式」の全てという意味になる。この場合であれば、

  1. a + b + c
  2. a + bc
  3. ab + c
  4. abc

の 4通りの式を表すことになる。項の数が多くなっても同様に用いることができるが、非常に多くの式を表すことになる。

[編集] 正負の数

正符号がとくに意味を持って用いられるとき、それは 0 より大きい数であるという特別な意味を持ち、同時に負符号にも 0 より小さい数であるという特別な意味が付される。具体的には自然数に対する整数、とくに負の整数に対して負符号が付され、それと相対するものとして正の整数に正符号が付される。このような特別の意味での正負の符号は、整数から有理数実数への数の拡大において保たれる:

{\rm sign}(x) = \begin{cases}  + & \mbox{ if }x > 0,\\  - & \mbox{ if }x < 0. \end{cases}

この場合、0 は符号を持たないことに注意されたい。ただし、解析学においては実数の極限として

  • +0 := \lim_{x \to 0,\,x > 0}x,
  • -0 := \lim_{x \to 0,\,x < 0}x

という略記を意味することがある。また、±a が ±1 × a に複号同順で一致することから、乗法の因子として符号を

{\rm sign}(x) = \begin{cases}   1 & \mbox{ if }x > 0,\\   0 & \mbox{ if }x = 0,\\  -1 & \mbox{ if }x < 0 \end{cases}

という関数によって定式化することもできる。この関数を符号関数と呼ぶことがある。

[編集] 符号の演算

数の乗法において形式的に符号のみを取り出して、次の関係式が成り立っていると考えることがある:

  1. "+" × "+" = "+",
  2. "+" × "−" = "−",
  3. "−" × "+" = "−",
  4. "−" × "−" = "+".

これは、この形式的な乗法に関して符号の集合 {+, −} が加法群としての Z / 2Z = {0, 1} あるいは乗法群としての {±1} と同型であるということを言っている。この性質を特徴付けるものとして符号を流用することがある。これによって、ある種の群 G から符号への準同型写像

G \to \{+,-\}

あるいは

G \to (\{0,1\},+),
G \to (\{\pm 1\},\times)

を考えることがある。たとえば代数学での置換の符号などがそうである。置換の符号に関して詳しくは対称群を参照されたい。

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu