\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Direct Products
Needed by:
None.
Links:
Sheet PDF
Graph PDF

Choice Functions

Why

We want to choose a distinct sequence of elements from an infinite set.1

What

The product of a nonempty family of nonempty sets is nonempty.2

This sometimes called the axiom of choice. It is equivalent to saying that if for each $\alpha \in I$ we can choose a point $x_{\alpha } \in X_{\alpha }$ then we may construct a function $x \in \prod_{\alpha \in I}X_{\alpha }$ by setting $x(\alpha ) = x_{\alpha }$


  1. Future editions will likely modify this why. ↩︎
  2. Future editions will better motivate the axiom, and explain how it is not needed for finite sets or for sets with distinguishing features, but rather for infinitely many sets for which there is no selection criterion. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view