请输入您要查询的字词:

 

单词 4Equivalences
释义

4. Equivalences


We now study in more detail the notion of equivalence of types that was introduced briefly in §2.4 (http://planetmath.org/24homotopiesandequivalences).Specifically, we will give several different ways to define a type 𝗂𝗌𝖾𝗊𝗎𝗂𝗏(f) having the properties mentioned there.Recall that we wanted 𝗂𝗌𝖾𝗊𝗎𝗂𝗏(f) to have the following properties, which we restate here:

  1. 1.

    𝗊𝗂𝗇𝗏(f)𝗂𝗌𝖾𝗊𝗎𝗂𝗏(f).

  2. 2.

    𝗂𝗌𝖾𝗊𝗎𝗂𝗏(f)𝗊𝗂𝗇𝗏(f).

  3. 3.

    𝗂𝗌𝖾𝗊𝗎𝗂𝗏(f) is a mere proposition.

Here 𝗊𝗂𝗇𝗏(f) denotes the type of quasi-inverses to f:

g:BA((fg𝗂𝖽B)×(gf𝗂𝖽A)).

By function extensionality, it follows that 𝗊𝗂𝗇𝗏(f) is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to the type

g:BA((fg=𝗂𝖽B)×(gf=𝗂𝖽A)).

We will define three different types having properties 13, which we call

  • half adjoint equivalences,

  • bi-invertible maps,and

  • contractible functions.

We will also show that all these types are equivalent.These names are intentionally somewhat cumbersome, because after we know that they are all equivalent and have properties 13, we will revert to saying simply “equivalence” without needing to specify which particular definition we choose.But for purposes of the comparisons in this chapter, we need different names for each definition.

Before we examine the different notions of equivalence, however, we give a little more explanation of why a different concept than quasi-invertibility is needed.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 5:26:24