数学記号を考案・改良するスレ

**１３２人目の素数さん** · 2020/02/21(金) 20:34:15.89

数学記号というのは、まだまだ改良の余地があると思う。
特に=の記号なんかは何通りかに分類して書き分けても良いのではないだろうか？

**１３２人目の素数さん** · 2020/02/21(金) 21:38:37.22

まず最初に計算機での内部表現から考えるべきだろ。
本気で問題にするなら。

**１３２人目の素数さん** · 2020/02/21(金) 22:09:14.55

一変数関数の微分と多変数関数の偏微分で記号を分けてるのは無駄
前者は後者の特殊な場合

**１３２人目の素数さん** · 2020/02/22(土) 00:51:42.04

sinx,cosx,tanxをs,c,tと略記することはあるが、ş,ç,ţとして正式な記号として導入してはどうか？

**１３２人目の素数さん** · 2020/02/22(土) 01:41:54.31

ベクトルの表記がホントマチマチなのは何とかして欲しい…

**１３２人目の素数さん** · 2020/02/22(土) 08:32:27.18

>>3
z=f(x,y)=f(x,g(x))のとき∂f/∂xとdf/dxでは全く違うよ

**１３２人目の素数さん** · 2020/02/22(土) 11:18:28.99

>>6
理解が古いです
・関数fと書く代わりに方程式z=f(x,y)を書いている
・二変数関数f(x,y)と一変数関数f(x,g(x))を等しいとしている

**１３２人目の素数さん** · 2020/02/22(土) 11:55:09.57

何言ってんだこいつ

**１３２人目の素数さん** · 2020/02/22(土) 12:23:30.87

>>7
・y=f(x)という表記を見たことがない？
・合成関数を知らない？

**１３２人目の素数さん** · 2020/02/22(土) 17:19:42.41

>>9
釣りっぽいけどスレの趣旨に合ってるので返答します。
y=f(x)は等式であって関数じゃないです。f(x)が関数です。
それとf(x,y)=f(x,g(x))が関数の間の等式意味してるなら、左辺の定義域はR^2で右辺の定義域はRなので等号は成り立ちません。

また、>>6でdf/dxと書いてますが、fは二変数関数なので誤用です。df/dxはfが一変数関数の時の書き方です。
xを(x,g(x))に移す関数h:R→R^2と合成してd(f⚪h)/dxとすれば正しいです。

**１３２人目の素数さん** · 2020/02/22(土) 17:22:26.39

なんか変な記号が出力されましたがf⚪hと書いたのはfとhの合成です。

**１３２人目の素数さん** · 2020/02/22(土) 17:33:59.79

まあ現代的には変数記号を除いて「f」単独で関数ですが。「関数f」という言い方をします。
慣習で「関数f(x)」と書くことはありますが関数「y=f(x)」とは言わないです。yは何？

**１３２人目の素数さん** · 2020/02/22(土) 19:22:06.93

>>10
お前知ったかすんな

y=f(x)，f(x)，y，fも全部関数を表すこともできれば
文字式(等式)として表すこともできる
それが何故かなのかはグラフの存在から言える
こういうことを考えたこともないだろうから理解できないかも知れないが
グラフの存在から関数を言えるということは高校数学レベルで書いてある

**１３２人目の素数さん** · 2020/02/22(土) 19:23:26.00

グラフというのは文字式(等式)の世界であり
関数(写像)の世界でもある
グラフの存在性からある式を
関数と看做したり
文字式として扱うことができる

**１３２人目の素数さん** · 2020/02/22(土) 19:30:22.19

関数y=f(x)が在る
このとき
方程式を立てたい
グラフの存在から
便宜的にy=f(x)を文字式と看做してyを消去し

f(x)：=0

を定める

もちろんy=0ではない

**１３２人目の素数さん** · 2020/02/22(土) 19:40:02.10

関数とグラフは違います。
グラフを図示する時に集合{(x, y)∈R^2| y=f(x)}の略記としてy=f(x)と書いて「y=f(x)のグラフ」と呼ぶことはありますが、
fだけで関数を表してるのに余計な文字yを導入して「関数y=f(x)」とは言いません。

**１３２人目の素数さん** · 2020/02/22(土) 19:47:39.12

グラフとは写像である( ｰ`дｰ´)ｷﾘｯ

**１３２人目の素数さん** · 2020/02/22(土) 23:08:57.02

（º）
オマンコ記号

**１３２人目の素数さん** · 2020/02/23(日) 00:16:23.72

>>16
いやいや関数=グラフだから
定義域がAで値域がBの関数fは直積集合A×Bの部分集合で
「Aの任意の元xに対して(x,y)∈fとなるBの元yがただ一つ存在する」を満たすもののこと
分かる？これが現代数学な

**１３２人目の素数さん** · 2020/02/23(日) 03:20:38.80

互いに素には⊥を使えるようにしよう

**１３２人目の素数さん** · 2020/02/23(日) 05:25:58.45

(0,1] or ]0,1]
開区間と閉区間の表記が美しくない

┗0,1┛開開┗0,1┓開閉
┏0,1┛閉開┏0,1┓閉閉

こんなのはどうだろう？
（本当は直角の位置を四隅にしたい）

**１３２人目の素数さん** · 2020/02/23(日) 10:10:39.04

┏ (｡・_・｡) ┓・・・。

┗(｡・_・｡) ┓赤上げて

┗(｡・_・｡) ┛白上げて

┏(｡・_・｡) ┛白下げないで赤下げる

**１３２人目の素数さん** · 2020/02/24(月) 00:39:24.43

一文字変数は悪しき風習

**１３２人目の素数さん** · 2020/02/24(月) 00:55:29.91

>>19
それは関数のモデルであって関数自体ではない
空集合、{空集合}、{空集合、{空集合}}、...という列が0、1、2、...と違うのと同じ
ただ単に似たものを作ってるだけ

**１３２人目の素数さん** · 2020/02/24(月) 00:59:24.35

>>23
プログラミングみたいに単語で書けってこと？

**１３２人目の素数さん** · 2020/02/24(月) 01:27:43.77

>>25
そういうこと
もちろんfunctionとか長い名前はfuncとか略す感じで
書体を駆使するより楽かなと

**１３２人目の素数さん** · 2020/02/24(月) 09:08:23.91

>>6
>z=f(x,y)=f(x,g(x))のとき∂f/∂xとdf/dxでは全く違うよ

書き方が悪いな

f(x,y)=x*y　g(x)=x　h(x)=f(x,g(x))=x^2

∂f/∂x=y　dh/dx=2x

**１３２人目の素数さん** · 2020/02/24(月) 09:13:01.05

＞関数=グラフ

数学ではそういうことになってるが
情報科学では関数の自己適用f(f)なんて考えるから破綻するｗ

つまり関数の空間DについてD=D^Dとなってる

え？そんなの矛盾するだろって？
そうね、集合論ではね
しかし　D→Dの写像が必ず不動点を持つならば
D=D^Dとできるんだな　変態だなｗ

**１３２人目の素数さん** · 2020/02/24(月) 12:15:35.48

空集合の記号を統一してほしい
　丸にスラッシュ
　0にスラッシュ
　ギリシャ文字のファイ

**１３２人目の素数さん** · 2020/02/24(月) 14:58:29.22

>>29
実はノルウェー語のの文字Øらしい

**１３２人目の素数さん** · 2020/02/24(月) 15:35:48.52

詳しくないけど「ラムダ記法に改良の余地がある」て話なら計算論的に本質的な内容過ぎてスレチな気がする
あとf(f)みたいな流派は初めて見た

**１３２人目の素数さん** · 2020/02/25(火) 16:27:38.36

写像の満たすべき公理って何？

**１３２人目の素数さん** · 2020/02/26(水) 08:01:32.96

a が b で割り切れることをb｜aと表記するのはイヤだ

**１３２人目の素数さん** · 2020/02/26(水) 08:39:11.42

∂f/∂x_1 とかf_{x_2} みたいな変数名x_i に依存した偏微分の表記だけじゃなくて、∂f/∂① みたいな数字で直接座標を指定できる表記があると嬉しい

**１３２人目の素数さん** · 2020/03/01(日) 21:13:08.52

>>33
それは｜を「で割り切れる」と読めばいいんだよ。「で」を入れて読めば間違えない。

**１３２人目の素数さん** · 2020/03/01(日) 21:20:33.00

英語ならb divides aでそのままだよ

**１３２人目の素数さん** · 2020/03/01(日) 21:30:31.06

整除は順序だから≦の代わりに|を使ってると思うと自然
まあ≧に当たる記号がないのは不便だが

**１３２人目の素数さん** · 2020/03/02(月) 00:46:53.84

改良案

b ▷ a

▷はDividesのDに見立てる
（順序感覚が逆転するのが難点）

**１３２人目の素数さん** · 2020/03/02(月) 01:24:34.13

bℤ ▷ aℤ の略記とも見れて面白い

**１３２人目の素数さん** · 2020/03/03(火) 02:42:24.82

割り算も割って小数にする場合と、分数にする場合と、商と余りにする場合で分けていいと思うんだよなあ。

**１３２人目の素数さん** · 2020/03/04(水) 08:09:36.66

有名な？ファインマンの三角関数の独自記号
https://pbs.twimg.com/media/DMlaFTTWkAAPiMV.png

**１３２人目の素数さん** · 2020/03/04(水) 11:04:56.45

>>40
C言語等では a/b←除算 a%b←剰余演算ですね
剰余群や剰余環も%のほうが概念的に近いかな

>>41
三角関数といえば逆関数と冪乗の表記の混同のおそれがありますね
https://ja.wikipedia.org/wiki/%E9%80%86%E4%B8%89%E8%A7%92%E9%96%A2%E6%95%B0

**１３２人目の素数さん** · 2020/03/04(水) 15:24:08.77

濃度の「アレフ」は酷い

**１３２人目の素数さん** · 2020/03/05(木) 00:11:46.25

分数　f/
小数　d/
余り　r/
みたい／や÷の上にf,d,rを乗せればいいんじゃないかな。

**１３２人目の素数さん** · 2020/03/05(木) 01:03:22.29

>>42
Ｃ言語の剰余演算ははっきりと定義されていない部分がある

例えば…

5 % -3 を計算させると、とあるＣ言語では -1 となるし、別のものは 2 になる。

各種の言語でも違う。処理系依存だ。

**１３２人目の素数さん** · 2020/03/05(木) 01:39:00.96

>>45
C99からは2と定義されてる
おそらくここ20年以内に規格が改訂、制定された言語で剰余が処理系定義なものはほとんど存在しないのではないか

**１３２人目の素数さん** · 2020/03/07(土) 14:44:06.50

割り算も／と＼を使って左からも右からも割れるようにしたらどうだろうか？

**１３２人目の素数さん** · 2020/03/07(土) 23:03:39.78

バックスラッシュ・・・古来よりMatlabで使われる算術二項演算子
正方行列Aに対して A\B と書けば A^-1 * B が返る

**１３２人目の素数さん** · 2020/03/08(日) 03:37:55.13

引き算とか累乗とか累乗根も左右からできるようにしたいね。
交換法則が成り立たないものは左右からできるようにしたい。

**１３２人目の素数さん** · 2020/03/08(日) 03:44:16.65

AB=BA

**１３２人目の素数さん** · 2020/03/08(日) 06:22:30.38

Σの上と下に範囲を書くのは美しくない

**１３２人目の素数さん** · 2020/03/08(日) 15:14:01.00

上から
・差
・累乗根
・累乗
左からも右からも

**１３２人目の素数さん** · 2020/03/09(月) 00:27:16.80

累乗はexp(a*logb)でいける

**１３２人目の素数さん** · 2020/03/09(月) 00:40:37.65

フラクトゥール止めてほしい
特にIとJの見分けがつかない

**１３２人目の素数さん** · 2020/03/09(月) 15:26:20.35

lb 底が2
ln 底がe
lg 底が10
はもう定着させて欲しいな。

**１３２人目の素数さん** · 2020/03/09(月) 16:41:19.20

短すぎるのは紛らわしいし底も明記して
lgb, lgn, lgd でどうだ、底が3なら lgt だが4も同じになっちゃうんだよなー

**１３２人目の素数さん** · 2020/03/09(月) 21:37:18.17

対数
https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0
の「特殊な底」を見てみて

**１３２人目の素数さん** · 2020/03/10(火) 12:49:39.07

lb はポンドだしなー

**１３２人目の素数さん** · 2020/03/11(水) 11:44:13.10

log(e,x)みたいに二変数関数的な表記をしてはどうだろうか？

**１３２人目の素数さん** · 2020/03/11(水) 21:27:28.87

>>59
それが一番無難
上付／下付文字はやはり見難い

**１３２人目の素数さん** · 2020/03/11(水) 21:52:34.76

カリー化の仕方なら喰いつく気にもならんこともない。

カリー化は食い物です。

**１３２人目の素数さん** · 2020/03/11(水) 22:36:49.48

カリーきゅんhshs(*´Д`)

**１３２人目の素数さん** · 2020/03/12(木) 00:15:25.89

Σについては[Σ,k,1,n]みたいに横に書き並べる表記が良い気がするね。
[Σk=1～n]みたいな表記と[Σ1<k<n]みたいな表記とどっちがいいかな？

**１３２人目の素数さん** · 2020/03/12(木) 00:21:46.28

Σ{x_k | 0<k<n} はどうだ

**１３２人目の素数さん** · 2020/03/12(木) 00:30:41.73

新しく記号を作ってもいいなら、シンプルに次のような表記でも良い気もする。

**１３２人目の素数さん** · 2020/03/12(木) 02:41:00.94

>>64
集合の記号を使うとx_i≡1とか条件収束級数で死ぬ

**１３２人目の素数さん** · 2020/03/12(木) 12:09:03.82

交項級数を表す記号もほしい気がするんだよなあ。

**１３２人目の素数さん** · 2020/03/12(木) 13:48:53.12

>>66
あー、それがあったかー

**１３２人目の素数さん** · 2020/03/13(金) 02:59:36.87

角度をﾗｼﾞｱﾝに統一していただきたい

**１３２人目の素数さん** · 2020/03/13(金) 06:30:26.03

>>43
連続体仮説がよーわからん現在、
アレフ表記はどうかと思いますね
アレフゼロは|N|か#Nでいいでしょう

**１３２人目の素数さん** · 2020/03/13(金) 14:03:15.81

基数の定義くらい押さえとけ

**１３２人目の素数さん** · 2020/03/13(金) 17:03:18.43

nＰrのように左下に添字があるのはいかがなものか

**１３２人目の素数さん** · 2020/03/14(土) 05:43:30.66

(sin x)^2をsin^2 xと表すのを認めるならば、
(log x)^2をlog^2 xと表してもいいのではないか

**１３２人目の素数さん** · 2020/03/14(土) 09:32:59.68

>>73
関数を2回適用してるとも
解釈しうるので、ややこしい
sin^2 x = (sin x)*(sin x)
sin^(2) x = sin (sin x)
区別するならこんな表記だろうか？

**１３２人目の素数さん** · 2020/03/14(土) 13:22:41.24

f^(2) は2回微分だろ

**１３２人目の素数さん** · 2020/03/14(土) 13:30:50.22

やはりフォント上つき下つきくらいしか修飾の幅がないのはクソい
誰か新しい修飾の方法を考えてくれ

**１３２人目の素数さん** · 2020/03/14(土) 17:02:17.76

ファインマンダイアグラムぐらいか
最近できた新規性が高い記法

**１３２人目の素数さん** · 2020/03/15(日) 04:24:29.98

(){}[]の区別って必要か？全部()でいいのでは？

**１３２人目の素数さん** · 2020/03/15(日) 13:42:18.71

集合には{}を使うなー
{x ∈ R | 0 < x < 1} とかね

**１３２人目の素数さん** · 2020/03/18(水) 06:51:18.69

2項係数
(n)
(k)

ベクトルや行列の中に出てくると激しく混乱するし、見にくい
高校のように nCｋと書く方がまだまし

**１３２人目の素数さん** · 2020/03/18(水) 11:04:47.46

無限小の記号に雫のシンボルとして垂らした雫の下半分を少し
ドラゴンクエストのスライムみたいに横に膨らましつつ
上はスライムみたいに丸い突起にしないで描いた輪郭線を採用提案しようとした｡

しかし　無限小の活躍の場が足りなかった！

>>28 >>31
f(x)
f{f(x)}
f[f{f(x)}]
…
うへぇ、こりゃ大変だぁ

**１３２人目の素数さん** · 2020/03/18(水) 11:56:48.48

arcsin x→OK
sin^(-1) x→NG

**１３２人目の素数さん** · 2020/03/18(水) 18:25:23.64

>>82
f(x) = sin(x) の逆関数だから f^{-1}(x) = sin^{-1}(x) と書くのは本来の規則では正しい

むしろ、(sin x)^2 = sin^2 x と書く方が問題

**１３２人目の素数さん** · 2020/03/18(水) 18:29:04.65

>>80
確かに二項係数は縦ベクトルと紛らわしいし見にくいね

**１３２人目の素数さん** · 2020/03/19(木) 10:58:49.82

arcsinで、-1をsinの左上に乗せるのはどうだろうか？
⁻¹sinみたいに。

**１３２人目の素数さん** · 2020/03/19(木) 11:46:53.37

f^2 = f(f()) = f◦f だから f^(2◦), f^(-◦) では？

**１３２人目の素数さん** · 2020/03/19(木) 14:15:42.39

ねじれの位置を表す記号が欲しい

**１３２人目の素数さん** · 2020/03/19(木) 20:08:15.64

実数R, 整数Z のように、素数全体の集合の記号をPとする

いちいち断らず全世界共通で使えるようにする

**１３２人目の素数さん** · 2020/03/20(金) 06:17:45.84

自然数に0を含める流儀はいかがなものか

**１３２人目の素数さん** · 2020/03/20(金) 09:58:49.58

数列とか初項をa_0にすると、計算するとき色々と都合がいいんだよね
等比級数の和でr^(n-1)がr^nになったり

**１３２人目の素数さん** · 2020/03/20(金) 10:27:52.77

自然数に0を含めるメリットは
・半環だと嬉しい
・(ノイマンのモデルで)自然数の全体が順序数だと嬉しい
・無限集合でない集合の濃度が自然数だと嬉しい
とかあるけど逆に0を含めないメリットって何だ？
{1/n}を定義できるとか？

**１３２人目の素数さん** · 2020/03/20(金) 16:01:59.35

>>90
公式や第n項の計算が簡単になるというのは大きな利点だよね
高校で導入していれば余計なミスが減らせるのに

**１３２人目の素数さん** · 2020/03/20(金) 17:00:48.13

日本人が１位って言い方を好んだりする（０位ではなく）のが１つの要因。

もう１つはテストで点差を付けるために、わざと分かりにくくしているというのが要因。

**１３２人目の素数さん** · 2020/03/21(土) 01:17:36.13

ヨーロッパだと０階があって、日本の２階が１階と１つづつ階の呼び方がずれるよね

**１３２人目の素数さん** · 2020/03/21(土) 13:57:25.73

>>94
ほんで13階が無いから2つもずれる

**１３２人目の素数さん** · 2020/03/21(土) 14:18:58.46

>>47
>>48
A＼Bは差集合の意味にもなる、コレややこしい
AーBのほうが素直に理解できるけど

**１３２人目の素数さん** · 2020/03/21(土) 16:59:37.53

ルートの記号を発明した人は天才だと思う

**１３２人目の素数さん** · 2020/03/21(土) 20:03:19.14

ウォリス流無限大記号∞

**１３２人目の素数さん** · 2020/03/22(日) 18:43:59.02

相似の∽はイヤだ

**１３２人目の素数さん** · 2020/03/23(月) 19:24:13.69

!は階乗を表すなら ?は何を表すのがいいかな