PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
fix (Definition)

In mathematical statements, mathematical objects such as points and numbers are described as being fixed. A possible meaning for this usage is that the mathematical object in question is not allowed to vary throughout the statement or proof (or, in some cases, a portion thereof). Although a fixed object typically does not vary, it is almost always arbitrary. This may seem paradoxical, but it is quite logical: An object is chosen arbitrarily, then it is never allowed to vary. See the entry betweenness in rays for an example of this usage.

The usage of the words fix and fixed may also mean that a mapping sends the mathematical object to itself. These two usages are technically not the same. The former usage (described in the previous paragraph) states a property of the mathematical object in question and is always either part of an implication (as in “If $ x \in \mathbb{R}$ is fixed, then...”) or a command made by the author to the reader (as in “Let $ x \in \mathbb{R}$ be fixed.” and “Fix $ x \in \mathbb{R}$.”). The latter usage (described in this paragraph) states a property of a mapping and may or may not be part of a conditional statement or a command. The word “fixes” always refers to this usage (as in “Note that $ f$ fixes $ x$.”). See the entry fix (transformation actions) for a further explanation of the latter usage.



"fix" is owned by Wkbj79.
(view preamble)

View style:

See Also: fix (transformation action)

Other names:  fixed
Log in to rate this entry.
(view current ratings)

Cross-references: conditional, implication, property, mapping, betweenness in rays, paradoxical, numbers, points
There are 235 references to this entry.

This is version 3 of fix, born on 2006-08-21, modified 2006-08-23.
Object id is 8277, canonical name is Fix2.
Accessed 2935 times total.

Classification:
AMS MSC03-00 (Mathematical logic and foundations :: General reference works )
 03F07 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Structure of proofs)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
MSC's on fix by Wkbj79 on 2006-08-21 23:17:44
I am uncertain about the MSC's on this entry and would greatly appreciate any advice you have to offer.

Warren
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)