Subsection 2.5.3 (01LE): The Characteristic Relation of a Set

Preferences





Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

Table of Contents
Part 1: Sets
Chapter 2: Constructions With Sets
Section 2.5: Characteristic Functions
Subsection 2.5.3: The Characteristic Relation of a Set (cite)

2.5.3 The Characteristic Relation of a Set

Let $X$ be a set.

Definition 2.5.3.1.1 ▶ The Characteristic Relation of a Set

The characteristic relation on $X$¹ is the relation²

\[ \chi _{X}\webleft (-_{1},-_{2}\webright )\colon X\times X\to \{ \mathsf{t},\mathsf{f}\} \]

on $X$ defined by³

\[ \chi _{X}\webleft (x,y\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\begin{cases} \mathsf{true}& \text{if $x=y$,}\\ \mathsf{false}& \text{if $x\neq y$} \end{cases} \]

for each $x,y\in X$.

¹Further Terminology: Also called the identity relation on $X$.

²Further Notation: Also written $\chi ^{-_{1}}_{-_{2}}$, or $\mathord {\sim }_{\text{id}}$ in the context of relations.

³Under the bijection $\mathsf{Sets}\webleft (X\times X,\{ \mathsf{t},\mathsf{f}\} \webright )\cong \mathcal{P}\webleft (X\times X\webright )$ of Item 2 of Proposition 2.5.1.1.4, the relation $\chi _{X}$ corresponds to the diagonal $\Delta _{X}\subset X\times X$ of $X$.

Remark 2.5.3.1.2 ▶ The Characteristic Relation of a Set as a Decategorification of the Hom Profunctor

Expanding upon Remark 2.5.1.1.2 and Remark 2.5.2.1.2, we may view the characteristic relation

\[ \chi _{X}\webleft (-_{1},-_{2}\webright )\colon X\times X\to \{ \mathsf{t},\mathsf{f}\} \]

of $X$ as a decategorification of the $\textup{Hom}$ profunctor

\[ \textup{Hom}_{\mathcal{C}}\webleft (-_{1},-_{2}\webright )\colon \mathcal{C}^{\mathsf{op}}\times \mathcal{C}\to \mathsf{Sets} \]

of a category $\mathcal{C}$.

Proposition 2.5.3.1.3 ▶ Properties of Characteristic Relations

Let $f\colon X\to Y$ be a function.

The Inclusion of Characteristic Relations Associated to a Function. Let $f\colon A\to B$ be a function. We have an inclusion¹

¹Note: This is the $0$-categorical version of Chapter 9: Preorders, Definition 9.5.4.1.1.

Proof of Proposition 2.5.3.1.3.

Item 1: The Inclusion of Characteristic Relations Associated to a Function

The inclusion $\chi _{B}\webleft (f\webleft (a\webright ),f\webleft (b\webright )\webright )\subset \chi _{A}\webleft (a,b\webright )$ is equivalent to the statement “if $a=b$, then $f\webleft (a\webright )=f\webleft (b\webright )$”, which is true.

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: