PlanetMath: computable real function

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (232)
Orphanage
Unclass'd
Unproven (519)
Corrections (21)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

computable real function

(Definition)

A function $f \colon \mathbb{R} \to \mathbb{R}$ is sequentially computable if, for every computable sequence $\{x_i\}_{i=1}^\infty$ of real numbers, the sequence $\{f(x_i) \}_{i=1}^\infty$ is also computable.

A function $f \colon \mathbb{R} \to \mathbb{R}$ is effectively uniformly continuous if there exists a recursive function $d \colon \mathbb{N} \to \mathbb{N}$ such that, if

$\displaystyle \vert x-y\vert < {1 \over d(n)}$

then

$\displaystyle \vert f(x) - f(y)\vert < {1 \over n}$

A real function is computable if it is both sequentially computable and effectively uniformly continuous.

It is not hard to generalize these definitions to functions of more than one variable or functions only defined on a subset of $\mathbb{R}^n$ . The generalizations of the latter two definitions are so obvious that they need not be restated. A suitable generalization of the first definition is:

Let be a subset of $\mathbb{R}^n$ . A function $f \colon D \to \mathbb{R}$ is sequentially computable if, for every -tuplet $\left( \{ x_{i \, 1} \}_{i=1}^\infty, \ldots \{ x_{i \, n} \}_{i=1}^\infty \right)$ of computable sequences of real numbers such that

$\displaystyle (\forall i) \quad (x_{i \, 1}, \ldots x_{i \, n}) \in D \qquad ,$

the sequence $\{f(x_i) \}_{i=1}^\infty$ is also computable.

"computable real function" is owned by rspuzio.

(view preamble | get metadata)

Also defines:

sequentially computable, effectively uniformly continuous, effective uniform continuity

Log in to rate this entry.
(view current ratings)

Cross-references: obvious, subset, variable, definitions, real function, recursive function, computable, sequence, real numbers, computable sequence, function

This is version 3 of computable real function, born on 2004-09-29, modified 2004-09-29.
Object id is 6248, canonical name is ComputableRealFunction.
Accessed 3149 times total.

Classification:

AMS MSC:

03F60 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Constructive and recursive analysis)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact