Movatterモバイル変換

[0]ホーム

Jump to content

Unary function

Edit links

From Wikipedia, the free encyclopedia

Function that takes one argument

This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages)

This articlerelies largely or entirely on asingle source. Relevant discussion may be found on thetalk page. Please helpimprove this article byintroducing citations to additional sources.
Find sources: "Unary function" – news ·newspapers ·books ·scholar ·JSTOR(May 2024)

This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(December 2024) (Learn how and when to remove this message)

(Learn how and when to remove this message)

Inmathematics, aunary function is afunction that takes oneargument. Aunary operator belongs to a subset of unary functions, in that itscodomain coincides with itsdomain. In contrast, a unary function's domain need not coincide with its range.

Examples

[edit]

Thesuccessor function, denoted $\operatorname {succ}$ , is a unary operator. Its domain and codomain are thenatural numbers; its definition is as follows:

{\begin{aligned}\operatorname {succ} :\quad &\mathbb {N} \rightarrow \mathbb {N} \\&n\mapsto (n+1)\end{aligned}}

In someprogramming languages such asC, executing this operation is denoted bypostfixing++ to the operand, i.e. the use ofn++ is equivalent to executing the assignment $n:=\operatorname {succ} (n)$ .