group 정의할 때 *를 binary operation이 아니라 그냥 operation이라고 하면 틀린 건가요?
operation과 binary operation의 차이를 뭐라고 해야하죠?
댓글 5
오퍼레이션의 인풋이 세 개일수도 있어서
익명(118.235)2021-03-19 20:31
operation을 *(a,b) 이런 식으로 노테이션을 바꿔보면 이해하기 쉬움 *(a,b,c,d,e,f, ...) 뭐 이런 식으로 다항연산도 가능하겠지
속상한기태씨(soksanghae)2021-03-19 21:35
답글
감사합니다!
익명(1.245)2021-03-19 22:43
연산F는 어떤 공집합이 아닌 집합S에 대하여
F:S^n ->S인 함수이고
이항연산F는 마찬가지 S에 대해
F:S^2 ->S인 함수임.
미분,여집합 등은 어찌보면 일항연산으로 볼 수도 있음.
삼한연산, 사항연산, n항연산 등도 당연히 생각해 볼 수 있음.
익명(175.215)2021-03-19 23:33
답글
군 이론에서 처음 이항연산을 정의하는 것 부터하는데,
S의 두개의 원소를 마치 하나의 원소인 것 마냥 다룬다는 느낌임.
+:N^2->N, +(1,1)=(2) 는 (1,1) in N^2을 마치 (2) in N인 것 처럼 다루겠다는 느낌?
삼항연산, 사항연산, ... ,n항연산은 보통 따로 정의하지 않고 결합법칙으로 퉁 치고 넘어감
오퍼레이션의 인풋이 세 개일수도 있어서
operation을 *(a,b) 이런 식으로 노테이션을 바꿔보면 이해하기 쉬움 *(a,b,c,d,e,f, ...) 뭐 이런 식으로 다항연산도 가능하겠지
감사합니다!
연산F는 어떤 공집합이 아닌 집합S에 대하여 F:S^n ->S인 함수이고 이항연산F는 마찬가지 S에 대해 F:S^2 ->S인 함수임. 미분,여집합 등은 어찌보면 일항연산으로 볼 수도 있음. 삼한연산, 사항연산, n항연산 등도 당연히 생각해 볼 수 있음.
군 이론에서 처음 이항연산을 정의하는 것 부터하는데, S의 두개의 원소를 마치 하나의 원소인 것 마냥 다룬다는 느낌임. +:N^2->N, +(1,1)=(2) 는 (1,1) in N^2을 마치 (2) in N인 것 처럼 다루겠다는 느낌? 삼항연산, 사항연산, ... ,n항연산은 보통 따로 정의하지 않고 결합법칙으로 퉁 치고 넘어감