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
[parent] period of mapping (Definition)

Definition Suppose $ X$ is a set and $ f$ is a mapping $ f:X\to X$. If $ f^n$ is the identity mapping on $ X$ for some $ n=1,2,\ldots$, then $ f$ is said to be a mapping of period $ n$. Here, the notation $ f^n$ means the $ n$-fold composition $ f\circ\cdots \circ f$.

Examples

  1. A mapping $ f$ is of period $ 1$ if and only if $ f$ is the identity mapping.
  2. Suppose $ V$ is a vector space. Then a linear involution $ L:V\to V$ is a mapping of period $ 2$. For example, the reflection mapping $ x\mapsto -x$ is a mapping of period $ 2$.
  3. In the complex plane, the mapping $ z\mapsto e^{-2\pi i/n}z $ is a mapping of period $ n$ for $ n=1,2,\ldots$.
  4. Let us consider the function space spanned by the trigonometric functions $ \sin$ and $ \cos$. On this space, the derivative is a mapping of period $ 4$.

Properties

  1. Suppose $ X$ is a set. Then a mapping $ f:X\to X$ of period $ n$ is a bijection. (proof.)
  2. Suppose $ X$ is a topological space. Then a continuous mapping $ f:X\to X$ of period $ n$ is a homeomorphism.



"period of mapping" is owned by bwebste. [ owner history (1) ]
(view preamble)

View style:

See Also: retract, idempotency


This object's parent.

Attachments:
mapping of period $n$ is a bijection (Proof) by Koro
Log in to rate this entry.
(view current ratings)

Cross-references: homeomorphism, continuous mapping, topological space, bijection, derivative, trigonometric functions, spanned by, function space, complex plane, reflection, linear involution, vector space, composition, identity mapping, mapping
There are 2 references to this entry.

This is version 9 of period of mapping, born on 2003-08-01, modified 2004-03-06.
Object id is 4539, canonical name is PeriodOfMapping.
Accessed 1714 times total.

Classification:
AMS MSC03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

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