明らかに四則演算ではない演算ってないんですか？

トップページ⇒数学

39コメント10KB

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2018/10/02(火) 20:18:48.39ID:GnbXUZkH

たとえば、微分は引き算と割り算の合わせ技
積分は掛け算と足し算の合わせ技だと思うんですけど
演算ってどんなものでも、結局は、四則演算の延長なんでしょうか？

この演算は明らかに四則演算ではないってものがあれば教えてくれませんか？

0002１３２人目の素数さん

2018/10/02(火) 22:01:29.52ID:jwxJ4NfH

任意のa,b∈ℕに対して a#b=0.1となる演算#は四則演算の拡張になる？

0003１３２人目の素数さん

2018/10/02(火) 22:18:07.75ID:GnbXUZkH

>>2
a#b=(a+b)*0 +0.1
なら四則演算かも

0004１３２人目の素数さん

2018/10/02(火) 22:29:13.11ID:yF2Muh45

>>1
論理演算なんかがそれではないのか。
論理和、論理積というから、
広い意味では仲間だろうけど、
普通の足し算や掛け算とは違うと思う。

0005１３２人目の素数さん

2018/10/02(火) 22:39:04.66ID:d+NYyyrF

圏論で積と和っぽいものの一般論扱ってる

0006１３２人目の素数さん

2018/10/02(火) 23:18:02.02ID:xp+vsAnX

1@1=112

0007１３２人目の素数さん

2018/10/03(水) 02:34:37.32ID:tWdPh9XK

写像の合成は？

0008１３２人目の素数さん

2018/10/03(水) 03:58:49.86ID:ksFvnuLZ

まぁ>>1が言ってるのは単に+-×÷以外に数を対象にして行える計算方法はないのかってことなんだろ

0009１３２人目の素数さん

2018/10/03(水) 20:56:21.55ID:TvCfrIb2

1@2≠2@1な演算子は四則演算ではないし
123454321?4=2なんて演算子（4の個数を数えてる）とかも

0010１３２人目の素数さん

2018/10/03(水) 21:07:38.57ID:X5e90cZ/

>>9
それも四則演算の組み合わせで説明できそうな気がするんだけど。
もっと根本的に、四則演算的な発想ではない演算ってないのかな

0011１３２人目の素数さん

2018/10/03(水) 21:13:50.86ID:TvCfrIb2

四則演算的な発想とはどういう意味?
数演算子数が数にならないっていう事?

0012１３２人目の素数さん

2018/10/03(水) 21:40:01.56ID:GzOj+yqF

四則演算も突き詰めて行けば足し算に帰着できますよね

0013１３２人目の素数さん

2018/10/03(水) 21:55:09.00ID:N5gSAYAy

>>1
束論

0014１３２人目の素数さん

2018/10/03(水) 21:58:12.56ID:w6uZhmSj

そういう話を突き詰めたい場合は、面倒でも厳密に定義した方がいい

二項演算Ｒ×Ｒ→Ｒの部分集合Ｆを以下のように定義し、Ｆの要素を「四則演算的演算」と呼ぶ
(１) a∈Ｒのとき、f(x,y)=a となる二項演算fはＦの要素である
(２) f(x,y)=x となる二項演算fはＦの要素である
(３) f(x,y)=y となる二項演算fはＦの要素である
(４) f,g∈Ｆについて、
・h(x,y)=f(x,y)＋g(x,y)となる二項演算hはＦの要素である
・h(x,y)=f(x,y)－g(x,y)となる二項演算hはＦの要素である
・h(x,y)=f(x,y)×g(x,y)となる二項演算hはＦの要素である
・h(x,y)=f(x,y)÷g(x,y)となる二項演算hはＦの要素である
(５) 上記(１)～(４)に挙げたいずれかの条件を満たすもののみがＦの要素である

(問題)このとき、二項演算Ｒ×Ｒ→Ｒのすべてからなる集合は、Ｆと一致するか？

題意はこれで合っている？

0015１３２人目の素数さん

2018/10/03(水) 22:09:03.40ID:xNZIYpYv

極限とかどうだろう

0016１３２人目の素数さん

2018/10/03(水) 22:23:49.54ID:X5e90cZ/

>>14
すごく面白そう。
（４）は無限回繰り返すということも
含めていいんだろうか。

0017１３２人目の素数さん

2018/10/04(木) 01:48:01.69ID:iulkvuV5

自演乙

0018１３２人目の素数さん

2018/10/04(木) 02:38:33.23ID:mPrBYx+Z

モジュラー形式って別？

0019１３２人目の素数さん

2018/10/04(木) 02:52:17.25ID:r15W6lWn

f(x,y)=∅ はどうですか

0020１３２人目の素数さん

2018/10/04(木) 02:57:30.11ID:r15W6lWn

>>19
それは写像とは言わない

0021１３２人目の素数さん

2018/10/04(木) 03:14:38.72ID:4YZP40VO

もうペアノの公理の時点で加法扱いだと思うと相当厳しいよね。

0022１３２人目の素数さん

2018/10/04(木) 07:16:37.91ID:G1I4SJCO

x^yが有理数なら1を返し無理数なら0を返す関数

0023１３２人目の素数さん

2018/10/07(日) 02:54:10.03ID:4d6U6LZH

>>1
ぼおっとしたイメージで語られても

0024１３２人目の素数さん

2018/10/07(日) 02:55:44.71ID:4d6U6LZH

>>16
>すごく面白そう。
そうじゃなくて
お前がナニを考えているかを定式化して見ろって言われてんだよ
分かんね？

0025１３２人目の素数さん

2018/10/09(火) 22:35:20.49ID:RQ1659x9

無限回ってテイラー展開もありってことかよ
大分広いぞ

0026１３２人目の素数さん

2018/10/09(火) 23:18:18.08ID:5X13lNOA

xの5次方程式
x^5 +ax^4 +bx^3 -7x^2 +3x +1 =0
の5つの根のうち、絶対値の最も小さい根の絶対値を表す二項演算f(a,b)

0027１３２人目の素数さん

2018/10/11(木) 12:42:04.17ID:hDvRUG8L

　　　　　　⊂⊃
　　　　 |＼＿_／|
　　　／　▼▼▼ヽ
　　　|　 (●)　(●) |
　　　|　三 (_又_)三|
　　　＼＿　＾＿／
　　　　（　∪ 　∪
　　　　｜　　|
　　　　　）　／
　　　　　 ν

0028１３２人目の素数さん

2018/10/11(木) 18:09:46.81ID:NqwKM2SH

加法と乗法にさらになにか新しい演算加えて
体を拡張したような面白い対象ができないかみたいな話なのでは

0029１３２人目の素数さん

2018/10/11(木) 21:11:53.35ID:FTjiwi37

>>28
そういうことですね。
語彙が無いので伝わらないのですが、助かります。

0030１３２人目の素数さん

2018/10/13(土) 23:03:14.16ID:SmrLdBOq

ビジービーバー関数とかどうかな？

0031１３２人目の素数さん

2018/10/14(日) 00:16:35.36ID:v21qITeD

>>22とか>>26みたいなアルゴリズム演算とか、ある種の代数系の形式的操作は
普通の四則演算とは違う
ただ、基本（基礎体）として四則演算を考えるものばかりってのはその通りだろうな
個人的にはそういうことは趣味に留めてサクサク四則演算上の数学を開発したほうがいいとは思うが

0032１３２人目の素数さん

2018/10/28(日) 06:17:06.30ID:+nkqilcu

>>27
これ

0033１３２人目の素数さん

2018/12/12(水) 16:31:23.54ID:xmNas0so

0と1をできるだけ同じパターンが現れないように前から順に並べることを考える
ただし、パターンとは例えば0,1,0という数列では(0),(1),(0,1),(1,0),(0,1,0)である
規則は次の3つ
(1)前に1度だけ出現したパターンは、回避できない場合を除いて使ってはいけない
(2)長いパターンと短いパターンのどちらかが重複してしまうときは、長いパターンを避ける
(3)同じパターンを3回連続で繰り返してはいけない(例えば(1,1,1),(0,1,0,0,1,0,0,1,0)など)
(4)0と1の両方が使えるときは0を優先する
これらの規則に基づいて並べると、
0,1,0,0,1,1,0,1,0,1,1,...となる。これを順にf(1)、f(2)、…とする

0034１３２人目の素数さん

2018/12/15(土) 00:06:27.00ID:STbkeLJ6

確率分布を指定するとその分布に従う完璧な乱数列を返す関数は
おそらく四則演算などでは作れない。

0035１３２人目の素数さん

2018/12/15(土) 02:09:00.55ID:dgleq6vh

包除原理

0036１３２人目の素数さん

2018/12/15(土) 08:20:58.27ID:84AjtJYa

>>1
掛け算は足し算の合わせ技じゃないの？

0037１３２人目の素数さん

2018/12/15(土) 08:34:26.74ID:jt6BTiJO

開平計算は？

0038１３２人目の素数さん

2019/04/25(木) 23:45:14.86ID:nivqyMvc

まず、「演算」で何を意味するかを確定すること。

例えば、通常の四則演算は数に対する2項演算。または数の集合上の2変数関数。

微分は関数に対して関数を対応させる線型作用素、または特定の点での値を対応させる線形汎関数。積分も不定積分と定積分でそれぞれどちらかになる。

まあ、極限操作を許しているようなので、かなりのものが含まれるだろうけど。

0039停止しました。。。

NGNG

真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ

■ このスレッドは過去ログ倉庫に格納されています