函数分离的等价关系与表述Ekvivalenčne relacije in izrek o razcepu funkcij |
|
课程网址: | http://videolectures.net/logikainmnozice2010_bauer_predavanje9/ |
主讲教师: | Andrej Bauer |
开课单位: | 卢布尔雅那大学 |
开课时间: | 2010-12-17 |
课程语种: | 英语 |
中文简介: | 我们定义了等价关系和商集的概念。我们讲述如何在商集上定义函数,并证明将函数分解为商映射、双射和归档的定理。 |
课程简介: | Definiramo pojem ekvivalenčne relacije in kvocientne množice. Povemo, kako se definira funkcije na kvocientni množici in dokažemo izrek o razcepu funkcije na kvocientno preslikavo, bijekcijo in vložitev. |
关 键 词: | 等价关系; 商集; 函数 |
课程来源: | 视频讲座网 |
数据采集: | 2021-07-17:nkq |
最后编审: | 2021-08-28:nkq |
阅读次数: | 50 |