writing both in local and VG: 동치관계,equivalence_relation
동치관계 = https://librewiki.net/wiki/동치관계
{
같다는 개념의 추상화.
이항관계,binary_relation의 일종. 어떤 이항관계 ~가 임의의 a,b,c에 대해
동치관계 간의 비교 가능. 같은 집합 A에 대해 정의된 두 동치관계 $\displaystyle \sim,\approx$ 가
rel 동치류(equivalent class) (x)
동치관계 = https://namu.wiki/w/동치관계동치류 equivalent class (x)
동치류 equivalent_class (x)
동치류,equivalent_class 동치류,equivalent_class 동치류,equivalent_class ,equivalent_class
동치류 : "equivalence class"
동치류,equivalence_class
동치류 equivalent_class (x)
동치류 : "equivalence class"
동치류,equivalence_class
Hyponym: congruence_class =,congruence_class . congruence_class { congruence class congruence_class ... congruence class congruence class "congruence class" Up: congruence }
{" $\displaystyle x$ 의 동치류(equivalentequivalence class) $\displaystyle [x]$ 는 $\displaystyle x$ 와 동치관계,equivalence_relation에 있는 원소,elements들의 집합,set이다.
이의 모음(collection)collection $\displaystyle S/\sim = \{ [x] | x \in S \}$ 을 몫집합,quotient_set이라고 한다.
어떤 원소를 동치류에 대응시키는 사상,map $\displaystyle \pi : S \rightarrow S/\sim , x \mapsto [x]$ 을 사영,projection이라고 한다." - CHK
...
(예시) 동치관계는 분할,partition과 밀접.
"} (동치관계)
동치류
동치류
동치류
equivalent_class x 2023-08-24
equivalence_class o 2023-08-24 https://en.wiktionary.org/wiki/equivalence_class
{" $\displaystyle x$ 의 동치류(
이의 모음(collection)collection $\displaystyle S/\sim = \{ [x] | x \in S \}$ 을 몫집합,quotient_set이라고 한다.
어떤 원소를 동치류에 대응시키는 사상,map $\displaystyle \pi : S \rightarrow S/\sim , x \mapsto [x]$ 을 사영,projection이라고 한다." - CHK
...
(예시) 동치관계는 분할,partition과 밀접.
"} (동치관계)
동치류
동치류
동치류
equivalent_class x 2023-08-24
equivalence_class o 2023-08-24 https://en.wiktionary.org/wiki/equivalence_class
{
같다는 개념의 추상화.
이항관계,binary_relation의 일종. 어떤 이항관계 ~가 임의의 a,b,c에 대해
- a~a
- a~b 이면, b~a
- a~b 이고 b~c 이면, a~c
동치관계 간의 비교 가능. 같은 집합 A에 대해 정의된 두 동치관계 $\displaystyle \sim,\approx$ 가
$\displaystyle \forall x,y\in A;\;\;\; x\sim y \to x\approx y$
일 때,$\displaystyle \approx$ 는 $\displaystyle \sim$ 보다 엉성하다(coarser)
혹은$\displaystyle \approx$ 보다 $\displaystyle \sim$ 가 섬세하다(finer)
라고 한다.ex.
같은 반이다 and 같은 분단이다:
부등호,inequality_sign { pagename via KMS, 등호 }
같은 반이다 and 같은 분단이다:
뒤가 더 섬세하다.
앞이 더 엉성하다.
등호,equality_sign{ pagename via KMS, 등호 }앞이 더 엉성하다.
부등호,inequality_sign { pagename via KMS, 등호 }
}
MKL ¶
등호
합동,congruence
equivalence_class
representative
합동,congruence
equivalence_class
동치류,equivalence_class =,equivalence_class . equivalence_class { equivalence_class "equivalence class" equivalence class equivalence class }
몫집합,quotient_set =몫집합,quotient_set =,quotient_set 몫집합 quotient_set { 몫집합 몫집합 }representative
대표원,representative - class_representative? { class_representative x 2023-08-24 Class_representative class representative "class representative" }
동치,equivalence