Design of intelligent robots for tourism management service based on green computing

1.   Introduction

Spinors are structures used in many fields of applied sciences. In physics, the theory of spinors is especially used in applications electron spin and theory of relativity in quantum mechanics. The wave function of a particle whose spin is ½ is called spinor. In addition to that, the application of spinors in electromagnetic theory is very important. The construction to obtain a spin structure on a 4-dimensional space-time are extended to obtain spinors in physics, such as the Dirac spinor. The Dirac representation of the column vectors in Heisenberg representation corresponds to $Ket \equiv \left| \psi \right\rangle = \left({\begin{array}{*{20}{c}} {{\psi _1}}\\ {{\psi _2}} \end{array}} \right)$. Here, ${\psi _1}$ and ${\psi _2}$ are complex numbers ^[7,16,24]. The Pauli spin matrices mentioned here are with dimension $2x2$, and the two-component complex column matrices acting on these matrices are spinors. Spinors can be evaluated as concrete objects when choosing Cartesian coordinates. For example, in three dimensional Euclidean space, spinors can be generated by choosing Pauli spin matrices corresponding to the three coordinate axes.

In quantum theory, spin is represented by Pauli matrices. Also, Pauli matrices are a representation of Clifford spin algebra and therefore all properties of Pauli matrices derive from basic algebra. One of the most important studies giving the relationship between Clifford algebra and spinors is ^[23]. Clifford algebras constitute a highly intuitive formalism, having an intimate relationship to quantum field theory. Among the existing approaches to Clifford algebras and spinors this book is unique in that it provides a didactical presentation of the topic. Also, the first person to study spinors in geometric terms is Cartan, one of the founders of Clifford algebra. Cartan studied spinors in a geometric sense ^[4]. Cartan's study gives the spinor representation of the basic geometric definitions. So, it is a very impressive reference in terms of the geometry of the spinors. In Cartan's study, it was emphasized that the set of isotropic vectors in the vector space $\mathbb{C}^3$ forms a two-dimensional surface in the space $\mathbb{C}^2$. It is seen that each isotropic vector in the complex vector space $\mathbb{C}^3$ corresponds to two vectors in the space $\mathbb{C}^2$. Conversely; these vectors in space $\mathbb{C}^2$ correspond to the same isotropic vector. Cartan expressed that these complex vectors with two-dimensional ^[4].

In 1927, when Pauli introduced his spin matrices, he first applied the spinors to mathematical physics ^[20]. After that, the relationship between the spinors and the Lorentz group was demonstrated by Dirac, and the fully relativistic theory of electron spin was discovered ^[8]. In 1930, Juvet and Sauter represented the spinor space as the left ideal of a matrix algebra ^[13,18,21]. In further detail, instead of taking the spinors as complex valued two-dimensional column vectors, as Pauli did, if the spinors are taken as complex-valued 2x2-dimensional matrices where the left column of the elements are not zero, then the spinor space becomes a minimal left ideal in Mat (2, C) ^[17]. Later, in differential geometry the spinor representation of curve theory was expressed by Torres del Castillo and Barrales ^[6]. That study is one of the basic references of our study. Then, the spinor formulation of the Darboux frame on a directed surface and Bishop frame of curves in ${\mathbb{E}^3}$ were given in ^[15,22]. After that, the hyperbolic spinor corresponding to the Frenet frame of curves in Minkowski space $\mathbb{E}_1^3$ was expressed by Ketenci et al. ^[14]. Moreover, Erişir et. al obtained the spinor formulation of the alternative frame of a curve in Minkowski space, and the spinor formulation of the relationship between Frenet frame and Bishop frame ^[10]. Thus, Balcı et al. gave the hyperbolic spinor formulation of the Darboux frame in $\mathbb{E}_1^3$ ^[1]. Finally, Erişir and Kardağ have shown a new representation of the Involute Evolute curves in $\mathbb{E}^3$ with the help of spinors ^[11].

In this study, answer to the following question has been sought: "What is the geometric construction of spinors for Bertrand curves?". For this, firstly, the spinor characterization of unit speed and not unit speed curve is calculated. Then, Bertrand curves have been considered and these curves have been represented by spinors in the space $\mathbb{C}^2$. Later, considering the relations between Bertrand curves, the spinor relations corresponding to these curves have been obtained. After that, the answer of question "If the angle between the tangent vectors of the Bertrand curves is $\theta$, what is the angle between the spinors corresponding to these curves?" has been found. In this way, a different geometric construction of the spinors has been shown.

2.   Preliminaries

A curve is considered as differentiable at the each point of an open interval. Thus, one can construct a set of mutually orthogonal unit vectors on this curve. These vectors are called tangent, normal and binormal unit vectors or the Serret-Frenet frame, collectively. So, let us consider that the regular curve $(\alpha)$ which is differentiable function so that $\alpha : I \to {\mathbb{E}^3}$, $\left({I \subseteq \mathbb{R}} \right)$ has the arbitrary parameter $t$. Moreover, for $\forall t \in I$ the Frenet vectors on the point $\alpha (t)$ of the curve $(\alpha)$ are given by $\left\{ {\boldsymbol{T}(t), \boldsymbol{N}(t), \boldsymbol{B}(t)} \right\}$. So, these Frenet vectors are obtained by the equations $\boldsymbol{T}\left(t \right) = \frac{1}{{\left\| {\alpha '(t)} \right\|}}\alpha '(t)$, $\boldsymbol{N}\left(t \right) = \boldsymbol{B}(t) \times \boldsymbol{T}(t)$ and $\boldsymbol{B}(t) = \frac{1}{{\left\| {\alpha '(t) \times \alpha ''(t)} \right\|}}(\alpha '(t) \times \alpha ''(t))$ where "${\kern 1pt} {\kern 1pt} '{\kern 1pt} {\kern 1pt}$" is the derivative with respect to arbitrary parameter $t$, $\kappa$ and $\tau$ are the curvature and torsion of this curve $(\alpha)$ ^[12]. Moreover, the Frenet derivative formulas of this curve $(\alpha)$ are given by $\boldsymbol{T}' = \left\| {\alpha '} \right\|\kappa \boldsymbol{N}$, $\boldsymbol{N}' = \left\| {\alpha '} \right\|\left({ - \kappa \boldsymbol{T} + \tau \boldsymbol{B}} \right)$, $\boldsymbol{B}' = - \left\| {\alpha '} \right\|\tau \boldsymbol{N}$ ^[12]. Consider that the parameter of the curve $(\alpha)$ is the arc-length parameter $s$. So, if there is the equation $\left\| {\dot \alpha \left(s \right)} \right\| = 1$ on the point $\forall s \in I$ of the curve $\alpha : I \to {\mathbb{E}^3}$, $\left({I \subseteq \mathbb{R}} \right)$, the curve $(\alpha)$ is called a curve parameterized by the arc-length or a unit speed curve. Thus, the Frenet vectors of the curve $(\alpha)$ parameterized by arc-length can be obtained by $\boldsymbol{T}\left(s \right) = \dot \alpha (s)$, $\boldsymbol{N}\left(s \right) = \frac{1}{{\left\| {\ddot \alpha (s)} \right\|}}\ddot \alpha (s)$ and $\boldsymbol{B}(s) = \boldsymbol{T}(s) \times \boldsymbol{N}(s)$ where "${\kern 1pt} {\kern 1pt}.{\kern 1pt} {\kern 1pt}$" is the derivative with respect to arc-length parameter $s$. Moreover, the Frenet formulas of this curve are as $\dot{\boldsymbol{T}} = \kappa \boldsymbol{N}, \dot{\boldsymbol{N}} = - \kappa \boldsymbol{T} + \tau \boldsymbol{B}, \dot{\boldsymbol{B}} = - \tau \boldsymbol{N}$ ^[12].

French mathematician Saint-Venant raised the question in 1845 on whether the principal normal vectors of a curve $\alpha$ on a ruled surface produced by the principal normal vectors of a curve $\alpha$ in three dimensional Euclidean space can be the same as the principal normal vectors of a second curve. This question was answered by an article published by Bertrand in 1850. For this reason, the curves with this feature started to be called Bertrand curves after that study. Bertrand expressed that to have a second curve with this property, there is a linear relationship between the curvature and torsion of the original curve. These curve pairs, which are a remarkable subject for scientists, have been treated in many studies ^{[2,3,5,9,12,19]}. So, for the Bertrand curves, the following definition and theorems can be given.

Definition 2.1. Let $\alpha, \beta : I \to {\mathbb{E}^3}$ be two curves and the Frenet vector fields of these curves be $\left\{ {\boldsymbol{T}, \boldsymbol{N}, \boldsymbol{B}} \right\}$ and $\left\{ {{\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }, {\boldsymbol{B}^ * }} \right\}$, respectively. If the vector pair $\left\{ {\boldsymbol{N}, {\boldsymbol{N}^ * }} \right\}$ is linearly dependent, this pair $(\alpha, \beta)$ is called Bertrand curves ^[12].

Theorem 2.2. Let the curves $\alpha, \beta : I \to {\mathbb{E}^3}$ be Bertrand curves. Then, the distance between mutual points of these curves is constant ^[12].

Theorem 2.3. If the curves $\alpha, \beta : I \to {\mathbb{E}^3}$ are considered Bertrand curves then the angle between the tangent vectors at mutual points of these curves is constant ^[12].

Theorem 2.4. Let the Frenet frames of the Bertrand curves $(\alpha, \beta)$ be $\left\{ {\boldsymbol{T}, \boldsymbol{N}, \boldsymbol{B}} \right\}$ and $\left\{ {{\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }, {\boldsymbol{B}^ * }} \right\}$, respectively. So, especially if $\boldsymbol{N} = \boldsymbol{N}^ *$ is chosen, the relationship between these Frenet frames is

where $\theta$ is the angle between the tangent vectors of Bertrand curves $(\alpha, \beta)$ ^[12].

2.1.   Spinors

Spinors form a vector space equipped with a linear group representation of the spin group. Here this vector space is usually over the complex numbers. Cartan ^[4] introduced the spinors geometrically over the complex numbers as follows. Let the vector $\boldsymbol{x} = \left({{x_1}, {\kern 1pt} {\kern 1pt} {x_2}, {\kern 1pt} {\kern 1pt} {x_3}} \right) \in {\mathbb{C}^3}$ be an isotropic vector $({x_1}^2 + {x_2}^2 + {x_3}^2 = 0)$ and the space ${\mathbb{C}^3}$ be the 3-dimensional complex vector space. A two-dimensional surface in the space ${\mathbb{C}^2}$ is formed by the set of isotropic vectors in the vector space ${\mathbb{C}^3}$. If this two-dimensional surface is parameterized by coordinates ${\gamma _1}$ and ${\gamma _2}$, then ${x_1} = {\gamma _1}^2 - {\gamma _2}^2$, ${x_2} = i({\gamma _1}^2 + {\gamma _2}^2)$, ${x_3} = - 2{\gamma _1}{\gamma _2}$ is obtained. So, the equations ${\gamma _1} = \pm \sqrt {\frac{{{x_1} - i{x_2}}}{2}},$ ${\gamma _2} = \pm \sqrt {\frac{{ - {x_1} - i{x_2}}}{2}}$ are obtained. Each isotropic vector in the complex vector space ${\mathbb{C}^3}$ corresponds to two vectors, $\left({{\gamma _1}, {\kern 1pt} {\kern 1pt} {\gamma _2}} \right)$ and $\left({ - {\gamma _1}, {\kern 1pt} {\kern 1pt} - {\gamma _2}} \right)$ in the space ${\mathbb{C}^2}$. Conversely; both vectors so given in space ${\mathbb{C}^2}$ correspond to the same isotropic vector $\boldsymbol{x}$. Moreover, Cartan expressed that the two-dimensional complex vectors $\gamma = \left({{\gamma _1}, {\kern 1pt} {\kern 1pt} {\gamma _2}} \right)$ described in this way are called spinors

Using Cartan's study ^[4], Torres del Castillo and Barrales ^[6] matched the isotropic vector $\boldsymbol{a} + i\boldsymbol{b} \in \mathbb{C}^3$ with spinor $\gamma = \left({{\gamma _1}}, {{\gamma _2}} \right)$ where $\boldsymbol{a}, {\kern 1pt} {\kern 1pt} \boldsymbol{b} \in {\mathbb{R}^3}$. So, considering the Pauli matrices they created the matrices $\sigma$ and gave

where $\boldsymbol{a} + i\boldsymbol{b}$ is the isotropic vector in the space $\mathbb{C}^3$, $\boldsymbol{c} \in {\mathbb{R}^3}$ and the mate $\hat \gamma$ of the spinor $\gamma$ is

When all necessary operations are considered, it is seen that the vectors $\boldsymbol{a}$, $\boldsymbol{b}$ and $\boldsymbol{c}$ have the same length $\left\| \boldsymbol{a} \right\| = \left\| \boldsymbol{b} \right\| = \left\| \boldsymbol{c} \right\| = {\overline \gamma ^t}\gamma$ and these vectors are mutually orthogonal. The correspondence between spinors and orthogonal bases given by equation (2.2) is two to one; the spinors $\gamma$ and $-\gamma$ correspond to the same ordered orthonormal basis $\left\{ {\boldsymbol{a}, \boldsymbol{b}, \boldsymbol{c}} \right\}$, with $\langle {\boldsymbol{a} \times \boldsymbol{b}, \boldsymbol{c}} \rangle > 0.$ It is important to notice that the ordered triads $\left\{ {\boldsymbol{a}, \boldsymbol{b}, \boldsymbol{c}} \right\}$, $\left\{ {\boldsymbol{b}, \boldsymbol{c}, \boldsymbol{a}} \right\}$ and $\left\{ {\boldsymbol{c}, \boldsymbol{a}, \boldsymbol{b}} \right\}$ correspond to different spinors ^[6]. Moreover, the following proposition can be given.

Proposition 2.5. Let two arbitrary spinors be $\gamma$ and $\psi$. Then, the following statements hold;

where $\lambda, {\kern 1pt} {\kern 1pt} \mu \in \mathbb{C}$ ^[6].

Now, let a curve parameterized by arc-length be $\alpha :I \to {\mathbb{E}^3}$, $\left({I \subseteq \mathbb{R}} \right)$. So, $\left\| {\alpha '\left(s \right)} \right\| = 1$ where $s$ is the arc-length parameter of the curve $\left(\alpha \right)$. Moreover, consider the Frenet vectors of this curve as $\left\{{\boldsymbol{N}, \boldsymbol{B}, \boldsymbol{T}} \right\}$ and the spinor $\zeta$ represents the Frenet vector triad $\left\{{\boldsymbol{N}, \boldsymbol{B}, \boldsymbol{T}} \right\}$. Thus, from Eq (2.2) the following equations can be obtained

with ${\overline \zeta ^t}\zeta = 1$ ^[6]. Moreover, the following theorem can be given.

Theorem 2.6. If the spinor $\zeta$ with two complex components represents the triad $\left\{{\boldsymbol{N}, \boldsymbol{B}, \boldsymbol{T}} \right\}$ of a curve $(\alpha)$ parameterized by its arc-length $s$, the Frenet equations are equivalent to the single spinor equation

where $\kappa$ and $\tau$ denote the curvature and torsion of the curve $(\alpha)$, respectively ^[6].

Before I get to the main section, I have to emphasize that: While Torres del Castillo and Barrales matched a spinor with Frenet frame $\left\{ {\boldsymbol{N}, \boldsymbol{B}, \boldsymbol{T}} \right\}$ of an unit speed curve $\alpha :I \to {\mathbb{E}^3}$, they separated Frenet vectors as $\boldsymbol{N} + i\boldsymbol{B}$ and $\boldsymbol{T}$ where $\boldsymbol{N} + i\boldsymbol{B}$ is an isotropic vector. Unlike Torres del Castillo and Barrales, in this paper, the Frenet frame $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ corresponds to a different spinor and this Frenet frame is separated as $\boldsymbol{B} + i\boldsymbol{T}$ and $\boldsymbol{N}$ where $\boldsymbol{B} + i\boldsymbol{T}$ is an isotropic vector.

3.   Main theorems and proofs

Now let the Frenet vectors on the point $\alpha(s)$ of the regular and unit speed curve $\alpha :I \subseteq \mathbb{R} \to {\mathbb{E}^3}$ be $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$. Moreover, the Frenet vectors $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ correspond to a spinor $\xi$. So, the spinor equations of this Frenet frame can be written by

and

where ${{\bar \xi }^t}\xi = 1$. So, the following theorems can be given.

Theorem 3.1. Let $\xi$ be the spinor corresponding to the Frenet vectors $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ of the unit speed and regular curve $\alpha :I \to {\mathbb{E}^3}$. So, the Frenet equations are equivalent to the single spinor equation

where $\tau$ and $\kappa$ denote the torsion and curvature of the curve $(\alpha)$ and $\hat \xi$ is the mate of spinor $\xi$, respectively.

Proof. If the derivative of the Eq (3.1) with respect to arc-length parameter $s$ of the curve $(\alpha)$ is considered, one can write

So, since $\left\{ {\xi, {\kern 1pt} {\kern 1pt} \hat \xi } \right\}$ is a basis for spinors with two complex components in the space $\mathbb{C}^2$, the spinor ${}^{d\xi }\!\!\diagup\!\!{}_{ds}\;$ can be written ${}^{d\xi }\!\!\diagup\!\!{}_{ds}\; = f\xi + g\hat \xi$ where $f$ and $g$ are arbitrary complex valued functions and $\hat \xi$ is the mate of spinor $\xi$. If Proposition 2.5 is considered, one can obtain $f = 0, {\kern 1pt} {\kern 1pt} {\kern 1pt} g = \frac{{\tau - i\kappa }}{2}$. Thus, $\frac{{d\xi }}{{ds}} = \frac{{\left({\tau - i\kappa } \right)}}{2}\hat \xi.$

Now, in addition to reference ^[6], I give the components of the vector $\boldsymbol{B} + i\boldsymbol{T}$, separately, with the following theorem.

Theorem 3.2. Let a spinor $\xi$ represent the Frenet frame $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ of the regular and unit speed curve $\left(\alpha \right)$. So, the spinor equations of Frenet vectors $\boldsymbol{T}$ and $\boldsymbol{B}$ from the complex vector $\boldsymbol{B} + i\boldsymbol{T}$ can be written as

Proof. Let a spinor $\xi$ represent the Frenet vectors $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ of the curve $\left(\alpha \right)$. If Eq (3.1) is considered, $\boldsymbol{B} = {\mathop{\rm Re}\nolimits} \left({{\xi ^t}\sigma \xi } \right)$ and $\boldsymbol{T} = {\mathop{\rm Im}\nolimits} \left({{\xi ^t}\sigma \xi } \right)$ hold. Moreover, from Proposition 2.5 one can write $\boldsymbol{T} = - \frac{i}{2}({\xi ^t}\sigma \xi + {{\hat \xi }^t}\sigma \hat \xi)$, $\boldsymbol{B} = \frac{1}{2}\left({{\xi ^t}\sigma \xi - {{\hat \xi }^t}\sigma \hat \xi } \right)$.

Corollary 3.3. If the spinor $\xi$ represents the Frenet frame $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ of the curve $\left(\alpha \right)$, then the spinor components of Frenet vectors can be written as

On the other hand, let any curve $\left(\beta \right)$ which is not parameterized by arc length be considered and the Frenet vectors of this curve be $\left\{ {{\boldsymbol{B}^ * }, \, {\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }} \right\}$. Moreover, let the different spinor $\phi$ represent the Frenet vectors of the curve $\left(\beta \right)$. So, similar to the Eqs (3.1) and (3.2), one can write

Thus, the spinor equations of the Frenet vectors of the curve $(\beta)$ similar to Corollary 3.3 can be written by components as

So, one can give the following theorem without proof. The proof of this theorem can be easily done similar to Theorem 3.1.

Theorem 3.4. Let the Frenet vectors of the curve $\left(\beta \right)$ which is not parameterized by arc length be $\left\{ {{\boldsymbol{B}^ * }, \, {\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }} \right\}$ and the spinor corresponding to this curve be $\phi$. So, the Frenet equation of this curve in terms of a single spinor equation is written as

where $t$ is any arbitrary parameter of the curve $(\beta)$.

Here, if ${s}$ is considered arc-length parameter of the curve $(\beta)$, $\left\| {\frac{{d\beta }}{{dt}}} \right\| = \frac{{d{s}}}{{dt}}$ holds. So, one can write

Now, the curves $\alpha$ and $\beta$ mentioned above are considered Bertrand curves. Let the spinors $\xi$ and $\phi$ represent the Bertrand curves $\alpha$ and $\beta$, respectively. Moreover, the Frenet vectors of the curve $\alpha$ are $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ and the Frenet vectors of the curve $\beta$ are $\left\{ {{\boldsymbol{B}^ * }, {\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }} \right\}$. So, the geometric interpretation of angles between spinors can be done with the following theorems.

Theorem 3.5. Let the curves $\alpha, \beta :{\kern 1pt} {\kern 1pt} {\rm I} \to {\mathbb{E}^3}$ be Bertrand curves and the curves $\alpha$ and $\beta$ correspond to the spinors $\xi$ and $\phi$, respectively. Moreover, the Frenet vectors of the curves $\alpha$ and $\beta$ shall be $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ and $\left\{ {{\boldsymbol{B}^ * }, {\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }} \right\}$, respectively. So, the relationship between spinors of corresponding Bertrand curves is

Proof. Let the spinors $\xi$ and $\phi$ represent the Frenet vectors $\left\{ {\boldsymbol{B}, \boldsymbol{T}, \boldsymbol{N}} \right\}$ and $\left\{ {{\boldsymbol{B}^ * }, {\boldsymbol{T}^ * }, {\boldsymbol{N}^ * }} \right\}$ of Bertrand curves $\alpha, \beta : {\rm I} \to {\mathbb{E}^3}$, respectively. So, if the relationship between Bertrand curves in the Eq (2.1) is used, one can obtain

where $\theta$ is the angle between the tangent vectors of the Bertrand curves $(\alpha, \beta)$. From here it appears that the angle between the $\boldsymbol{B} + i\boldsymbol{T}$ and ${\boldsymbol{B}^ * } + i{\boldsymbol{T}^ * }$ vectors is also $\theta$. So, one can write

and finally

It is known from Section 2.2 that the spinors $\gamma$ and $-\gamma$ correspond to the same ordered orthonormal basis. Namely, the spinors $\phi$ and $-\phi$ correspond to the vector ${\boldsymbol{B}^ * } + i{\boldsymbol{T}^ * }$, while the spinors $\xi$ and $-\xi$ correspond to the vector $\boldsymbol{B} + i\boldsymbol{T}$. So, one can write

Theorem 3.6. (Main Theorem): Let the spinors $\xi$ and $\phi$ represent the Bertrand curves $\alpha, \beta :{\kern 1pt} {\kern 1pt} {\rm I} \to {\mathbb{E}^3}$, respectively. So, if the angle between the tangent vectors of these curves is $\theta$, then the angle between the spinors $\xi$ and $\phi$ is $\frac{\theta }{2}$.

The following corollaries of the main theorem can be given.

Corollary 3.7. Let the spinors $\xi$ and $\phi$ represent the Bertrand curves $\alpha, \beta :{\kern 1pt} {\kern 1pt} {\rm I} \to {\mathbb{E}^3}$, respectively. Then, the spinor $\xi$ returns to the spinor $\phi$, while the vector $\widehat \xi$ makes a reverse rotation to the vector $\widehat \phi$. Moreover, the rotation angle is also $\frac{\theta }{2}$,

Corollary 3.8. Let the curves $\alpha, \beta :{\kern 1pt} {\kern 1pt} {\rm I} \to {\mathbb{E}^3}$ be Bertrand curves and the curves $\alpha$ and $\beta$ correspond to the spinors $\xi$ and $\phi$, respectively. Thus, the angle between the derivatives of spinors $\xi$ and $\phi$ is also $\frac{\theta }{2}$.

Corollary 3.9. Let the curves $\left({\alpha, \beta } \right)$ be Bertrand curves and the spinors $\xi$ and $\phi$ represent these curves, respectively. Thus, the derivative of spinor $\phi$ which represent the curve $\left(\beta \right)$ with respect to the curvatures of curve $\left(\alpha \right)$ can be rewritten as

4.   Conclusions

Spinors can be considered as concrete objects using a set of Cartesian coordinates. For example, spinors can be formed from Pauli spin matrices corresponding to coordinate axes in three-dimensional Euclidean space. By using matrices with these $2x2$ dimensional complex elements, spinors, which are column matrices, are created. In this case, the spin group is isomorphic to the group of $2x2$ unitary matrices with determinant one, which naturally sits inside the matrix algebra. This group acts by conjugation on the real vector space spanned by the Pauli matrices themselves, realizing it as a group of rotations among them, but it also acts on the column vectors (that is, the spinors). So, in this study, a different geometric interpretation of spinors has been created by using Pauli matrices and spinors. A different (spinor) representation of Bertrand curves, one of the most important curve pairs in differential geometry, has been obtained. Thus, this study in geometry brings a new perspective as an interesting geometric interpretation of spinors used in many fields of science.

Conflict of interest

The author declares no conflict of interest.