N-curve: Difference between revisions
m Date maintenance tags and general fixes |
Cleaning up and expaning. |
||
Line 4: | Line 4: | ||
==Introduction== |
==Introduction== |
||
We take the [[Functional Theoretic Algebra]] ''C''[0, 1] of curves. For each loop ''γ'' at ''1'', and each positive integer ''n'', we define a curve |
We take the [[Functional Theoretic Algebra]] ''C''[0, 1] of curves. For each loop ''γ'' at ''1'', and each positive integer ''n'', we define a curve <math>γ_{n}</math> called n-curve. The n-curves are interesting in two ways. |
||
<br /> (1) Their f-products give rise to many beautiful curves. |
<br /> (1) Their f-products give rise to many beautiful curves. |
||
<br /> (2) Using the n-curves, we can define a transformation of curves. |
<br /> (2) Using the n-curves, we can define a transformation of curves, called n-curving. |
||
==Multiplicative Inverse of Curve== |
==Multiplicative Inverse of a Curve== |
||
A curve ''γ'' in the FTA , is invertible, i.e. |
A curve ''γ'' in the FTA , is invertible, i.e. |
||
<math>\gamma^{-1}</math> exists if |
<math>\gamma^{-1}</math> exists if |
||
: <math>\gamma(0)\gamma(1) \neq 0. |
: <math>\gamma(0)\gamma(1) \neq 0. </math> |
||
If <math>\gamma^{*}=(\gamma(0)+\gamma(1))e - \gamma </math>, then |
If <math>\gamma^{*}=(\gamma(0)+\gamma(1))e - \gamma </math>, where <math>e(t)=1, \forall t \in [0, 1].</math>, then |
||
: <math>\gamma^{-1}= \frac{\gamma^{*}}{\gamma(0)\gamma(1)}. </math> |
: <math>\gamma^{-1}= \frac{\gamma^{*}}{\gamma(0)\gamma(1)}. </math> |
||
Line 27: | Line 27: | ||
If <math>\gamma \in H</math> and ''n'' is a positive integer, then define a curve <math>\gamma_{n}</math> by |
If <math>\gamma \in H</math> and ''n'' is a positive integer, then define a curve <math>\gamma_{n}</math> by |
||
<math>\gamma_{n}(t)=\gamma(nt - [nt])</math>. <math>\gamma_{n}</math> is also a loop at ''1'' and we call it an n-curve. |
<math>\gamma_{n}(t)=\gamma(nt - [nt])</math>. |
||
<math>\gamma_{n}</math> is also a loop at ''1'' and we call it an n-curve. |
|||
Note that every curve in ''H'' is a 1-curve. |
Note that every curve in ''H'' is a 1-curve. |
||
Suppose <math>\alpha, \beta \in H.</math> |
Suppose <math>\alpha, \beta \in H.</math> |
||
Then, since <math>\alpha(0)=\beta(1)=1, \alpha \cdot \beta = \beta + \alpha -e</math> |
Then, since <math>\alpha(0)=\beta(1)=1, \mbox{ the f-product } \alpha \cdot \beta = \beta + \alpha -e</math>. |
||
===Example of a Product of ''n''-Curves=== |
===Example of a Product of ''n''-Curves=== |
||
Line 45: | Line 47: | ||
[[File:curve3.jpg]] |
[[File:curve3.jpg]] |
||
==n-Curving== |
==n-Curving== |
||
If <math>\gamma \in H</math>, then the n-curve <math>\gamma_{n} \mbox{ also } \in H</math>. Therefore the mapping <math>\alpha \to \gamma_{n}^{-1}\cdot \alpha\cdot\gamma_{n}</math> is an inner automorphism of the group ''G.'' We extend this map to the whole of ''C''[0, 1], denote it by <math>\phi_{\gamma_{n}}</math> and call it |
If <math>\gamma \in H</math>, then, as mentioned above, the n-curve <math>\gamma_{n} \mbox{ also } \in H</math>. |
||
Therefore the mapping <math>\alpha \to \gamma_{n}^{-1}\cdot \alpha\cdot\gamma_{n}</math> is an inner automorphism of the group ''G.'' We extend this map to the whole of ''C''[0, 1], denote it by <math>\phi_{\gamma_{n},e}</math> and call it n-curving with γ. |
|||
It can be verified that <math>\phi_{\gamma_{n}}(\alpha)=\alpha + [\alpha(1)-\alpha(0)](\gamma_{n}-1)e</math>. This new curve has the same initial and end points as α. |
It can be verified that |
||
<math>\phi_{\gamma_{n},e}(\alpha)=\alpha + [\alpha(1)-\alpha(0)](\gamma_{n}-1)e</math>. |
|||
This new curve has the same initial and end points as α. |
|||
===Example of n-Curving=== |
===Example of n-Curving=== |
||
Let ρ denote the Rhodonea Curve <math>r = \cos(2\theta)</math>, which is a loop at 1. Its parametric equations are <math>x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\ |
Let ρ denote the [[Rhodonea Curve]] <math> r = \cos(2\theta)</math>, which is a loop at 1. Its parametric equations are |
||
<math>x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\pit)</math>. |
|||
With the loop ρ we shall n-Curve the cosine curve <math>c(t)=2\pi t + i \cos(2\pi t), 0 \leq t \leq 1</math>. |
With the loop ρ we shall n-Curve the cosine curve <math>c(t)=2\pi t + i \cos(2\pi t), 0 \leq t \leq 1</math>. |
||
The curve <math>\phi_{\rho_{n}}(c)</math> has the parametric equations |
The curve <math>\phi_{\rho_{n},e}(c)</math> has the parametric equations |
||
<math>x=2\pi[t-1+\cos(4\pi nt)\cos(2\pi nt)], y=\cos(2\pi t)+ 2\pi \cos(4\pi nt)\sin(2\pi nt)</math> |
<math>x=2\pi[t-1+\cos(4\pi nt)\cos(2\pi nt)], y=\cos(2\pi t)+ 2\pi \cos(4\pi nt)\sin(2\pi nt)</math> |
||
Revision as of 15:18, 1 November 2009
This article needs additional citations for verification. (October 2009) |
Introduction
We take the Functional Theoretic Algebra C[0, 1] of curves. For each loop γ at 1, and each positive integer n, we define a curve Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle γ_{n}}
called n-curve. The n-curves are interesting in two ways.
(1) Their f-products give rise to many beautiful curves.
(2) Using the n-curves, we can define a transformation of curves, called n-curving.
Multiplicative Inverse of a Curve
A curve γ in the FTA , is invertible, i.e.
exists if
If , where , then
The set G of invertible curves is a non-commutative group under multiplication. Also the set H of loops at 1 is an Abelian subgroup of G. If , then the mapping is an inner automorphism of the group G.
We use these concepts to define n-curves and n-curving.
n-Curves and Their Products
If x is a real number and [x] denotes the greatest integer not greater than x, then
If and n is a positive integer, then define a curve by
.
is also a loop at 1 and we call it an n-curve. Note that every curve in H is a 1-curve.
Suppose Then, since .
Example of a Product of n-Curves
Products of n-curves often yield beautiful new curves. Let us take u, the unit circle centered at the origin and α, the astroid. Then,
and
The parametric equations of are See the figure. Since both are loops at 1, so is the product.
n-Curving
If , then, as mentioned above, the n-curve . Therefore the mapping is an inner automorphism of the group G. We extend this map to the whole of C[0, 1], denote it by and call it n-curving with γ. It can be verified that
.
This new curve has the same initial and end points as α.
Example of n-Curving
Let ρ denote the Rhodonea Curve , which is a loop at 1. Its parametric equations are
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\pit)} .
With the loop ρ we shall n-Curve the cosine curve . The curve has the parametric equations
References
- Sebastian Vattamattam, ``Transforming Curves by n-Curving, in ``Bulletin of Kerala Mathematics Association, Vol. 5, No. 1, December 2008