PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
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 | get metadata)

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 2004 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)