全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Bahasa Indonesia 版。

Matematika · 术语表

什么是 Himpunan kuosien?

又称: proyeksi kanonik

Definisi 1.3 Matematika Universitas — Tahun 2 · 第 1 章 — Himpunan dan Struktur

Misalkan R\mathcal{R} relasi ekuivalensi pada EE. Himpunan kuosien E/RE/\mathcal{R} adalah himpunan semua kelas ekuivalensi; surjeksi π ⁣:E→E/R\pi \colon E \to E/\mathcal{R}, x↦cl(x)x \mapsto \mathrm{cl}(x), disebut proyeksi kanonik.

Sifat universal (pemfaktoran): jika f ⁣:E→Ff \colon E \to F selaras dengan R\mathcal{R} (yaitu xRy  ⟹  f(x)=f(y)x \mathbin{\mathcal{R}} y \implies f(x) = f(y)), maka terdapat tepat satu pemetaan f‾ ⁣:E/R→F\overline f \colon E/\mathcal{R} \to F dengan f=f‾∘πf = \overline f \circ \pi.

在原文中阅读 →