请输入您要查询的字词:

 

单词 FunctionsFromEmptySet
释义

functions from empty set


Sometimes, it is useful to consider functions whose domain is theempty setMathworldPlanetmath. Given a set, there exists exactly one function fromthe the empty set to that set. The rationale for this comes fromcarefully examining the definition of function in this degeneratecase. Recall that, in set theoryMathworldPlanetmath, a function from a set D to aset R is a set of ordered pairs whose first element lies in Dand whose second element lies in R such that every element of Dappears as the first element of exactly one ordered pair. If wetake D to be the empty set, we see that this definition is satisfiedif we take our function to be set of no ordered pairs — since thereare no elements in the empty set, it is technically correct to saythat every element of the empty set appears as a first element ofan ordered pair which is an element of the empty set!

This observation turns out to be more than just an exercise inlogic, being useful in several contexts. Given a set S and a positiveinteger n, we may define Sn as the set of all functions from{1,,n} to S. If we choose n=0, then S0 consistsof all maps from the empty set to S, hence consists of exactly oneelement — see the entry on empty products for a discussion of theusefulness of this convention. In category theoryMathworldPlanetmathPlanetmathPlanetmathPlanetmath, it turns out thatfunctions from the empty set are important because they make the emptyset be an initial objectMathworldPlanetmath in this categoryMathworldPlanetmath.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 0:28:02