<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we first extend several basic theorems of the operation of vector in 3-dimensional Euclidean spaces. Then three unit vectors: <italic>e</italic>1, <italic>e</italic>2, <italic>e</italic>3 and the definition of vector function in the same spaces are introduced. By dint of unit vector the main operation properties as well as the differentiation formulas of vector function are shown [12].</p></abstract>

In this article, we first extend several basic theorems of the operation of vector in 3-dimensional Euclidean spaces. Then three unit vectors: e1, e2, e3 and the definition of vector function in the same spaces are introduced. By dint of unit vector the main operation properties as well as the differentiation formulas of vector function are shown [12].

Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces

Qingdao University of Science and Technology, China

University of Science and Technology of China, Hefei, China

Formalized Mathematics

In this article, we first extend several basic theorems of the operation of vector in 3-dimensional Euclidean spaces. Then three unit vectors: e1, e2, e3 and...

Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces

Publié en ligne: 05 janv. 2011

Pages: 1 - 10

DOI: https://doi.org/10.2478/v10037-010-0001-2

This content is open access.