Abstract

Transports along path in fibre bundles are axiomatically introduced. Their general functional form and some their simple properties are investigated. The relationships of the transports along paths and lifting of paths are studied.
1. INTRODUCTION The parallel transport (translation) is a well known concept in differential geometry and fibre bundle theory, usually tied up with the connection theory
$[1-4]$
. The purpose of this paper is to propose an independent definition and the corresponding investigation of (parallel) transports (along paths) in arbitrary fibre bundles. It is written in a manner analogous to the one of [5,6], from where some ideas, results and proofs are transferred mutatis mutandis. The detailed comparison of the material presented here with the one in the literature on the same subject will be done in the next part of our series.

The transports along paths in fibre bundles are defined in Sect. 2, where also two main groups of possible restrictions on them are considered. Some simple properties and the general functional form of these transports are found in Sect. 3. Sect. 4 deals with different connections between transports along paths and liftings of paths from the base to the bundle space of the fibre bundle. Necessary and sufficient condition is obtained for a fibre bundle to admit transports along paths. In Sect.
$5,a$
method for generating a connection by a transport along a path is considered.

2. TRANSPORTS ALONG PATHS AND POSSIBLE RESTRICTIONS ON THEM Let
$(E,\pi ,B)$
be a general topological fibre bundle with a base
$B$
, total bundle space
$E$
and projection
$\pi :E\to B[7-9]$
. The fibre bundle
$(E,\pi ,B)$
is, generally, not supposed to be locally trivial. The fibres
${\pi}^{-1}\left(x\right),x\in B$
are supposed to be homeomorphic with each other. The set of all sections of
$(E,\pi ,B)$
is denoted by Sec
$(E,\pi ,B)$
, i.e.,
$\sigma \in $
Sec
$(E,\pi ,B)$
means
$\sigma :B\to E$
and
$\pi \circ \sigma =$
id
${}_{B}[7,9]$
, where id
${}_{X}$
is the identity map of the set X. By
$J$
and
$\gamma :J\to B$
are denoted arbitrary, respectively, real interval and a path in B. The transports along paths in
$(E,\pi ,B)$
are defined in Subsect. 2.1 where also their basic properties, describing to a certain extend the dependence on their parameters, are found. On the transports along paths one can be imposed different restrictions. In the present work two main groups of them are considered.

Firstly (Subsect. 2.2), the one describing more or less the transport's dependence on the path of the transport. The second one (Subsect. 2.3) concerns the ties between some primary given structures on the fibre bundle, if any, and transports along paths in it.

2.1. DEFINITION OF TRANSPORTS ALONG PATHS IN FIBRE BUNDLES The analysis of definition 2.1 of Ref. [6] shows that it may be generalized in such a way as the defined in it linear transport along paths in vector bundles to be a special case of more general ”transports along paths” described by Definition
$2.1.A$
transport along paths in the fibre bundle
$(E,\pi ,B)$
is a map I which to any path
$\gamma :J\to B$
puts into correspondence a map
${I}^{\gamma}$
, transport along
$\gamma $
such that
${I}^{\gamma}:(s,t)\to {I}_{s\to t}^{\gamma}$
, where for every
$s,t\in J$
the map
$${I}_{s\to t}^{\gamma}:{\pi}^{-1}\left(\gamma \right(s\left)\right)\to {\pi}^{-1}\left(\gamma \right(t\left)\right),\left(2.1\right)$$
a transport along
$\gamma $
from
$s$
to
$t$
, has the following two properties:

$${I}_{t\to r}^{\gamma}\circ {I}_{s\to t}^{\gamma}={I}_{s\to r}^{\gamma},r,s,t\in J,\left(2.2\right)$$
$${I}_{s\to s}^{\gamma}=\mathit{i}{\mathit{d}}_{{\pi}^{-{1}_{\left(\gamma \right(s\left)\right)}}},s\in J.\left(2.3\right)$$
The path
$\gamma $
and the numbers
$s,t\in J$
in the map (2.1) will be called, respectively, path, initial parameter and final parameter of the transport.

The property (2.2), which may be called a group property of transports along paths, is an exact expression of the representation that the ”composition of two transports along one and the same path” must be a ”transport along the same path”. The property (2.3) fixes a 0-ary operation in the set of ”transports along paths” defining in it the ”unit transport” and, besides, it is an exact expression of the naive understanding that if we ”stand” at one point of a path without ”moving” along it, then ”nothing must happen” with a fibre over it.

The problem of existence of transports along paths, i.e. when a fibre bundle admits transports along paths, will be considered in Sect. 4 and the problem of their uniqueness or a general form will be investigated in Sect. 3.

Closely connected with definition 2.1 is the following one generalizing the concept for sections linearly transported along paths
$(cf.[10]$
, Sect. 5).

Definition 2.2. Let in
$(E,\pi ,B)$
be given a transport along paths I. The section
$\sigma \in $
Sec
$(E,\pi ,B)$
undergoes a (an I) transport or it is (I-)transported (resp. along
$\gamma :J\to B)$
, if the equality
$$\sigma \left(\gamma \right(t\left)\right)={I}_{s\to t}^{\gamma}\sigma \left(\gamma \right(s\left)\right),s,t\in J\left(2.4\right)$$
holds for every (resp. the given) path
$\gamma :J\to $
B. Proposition 2.1. If (2.1) is fulfilled for a fixed value
$s\in J$
, then this equality is valid for every
$s\in $
J. Proof. This result is a trivial corollary of (2.2).

Proposition 2.1 shows that in definition 2.2 it is sufficient to want (2.4) to be valid for a fixed
$s={s}_{0}\in J$
and then (2.4) may be regarded as a necessary and sufficient condition for the section
$\sigma $
to be I-transported along
$\gamma $
.

Proposition 2.2. If the section
$\sigma \in $
Sec
$(E,\pi ,B)$
is I-transported along
$\gamma :J\to B$
, then its values
$\sigma \left(\gamma \right(s\left)\right)$
for every
$s\in J$
are uniquely defined if the value
$\sigma \left(\gamma \right({s}_{0}\left)\right)$
is given for an arbitrary fixed
${s}_{0}\in $
J. Proof. This result follows from (2.4) for
$s={s}_{0}.$
Evident example of transports along paths are the linear transport along paths in vector bundles, a result following from the comparison of definitions 2.1 from this work and from [10].

Now we shall consider two examples for transports along parts which appear in fibre bundles with a certain structure.

Example 2.1. Let the fibre bundle
$(E,\pi ,B)$
have a structure of foliation [11], i.e. on the total bundle space
$E$
, which now is supposed to be a manifold, to be given a foliation
$\{{K}_{\alpha}:{K}_{\alpha}\subset E,\alpha \in A\}\left[11\right]$
, which, in particular, means that
${K}_{\alpha}\cap {K}_{\beta}=\varnothing $
,
$\alpha ,\beta \in A$
,
$\alpha \ne \beta $
and
${\cap}_{\alpha \in A}{K}_{\alpha}=E$
. Let the foliation
$\left\{{K}_{\alpha}\right\}$
be such that
$\pi \left({K}_{\alpha}\right)=B,\alpha \in $
A. Before going on we want to stress the fact that this construction is equivalent to the one when over
$(E,\pi ,B)$
is defined a family of sections
$\{{\sigma}_{\alpha}:{\sigma}_{\alpha}\in $
Sec
$(E,\pi ,B),\alpha \in A\}$
such that if
${\sigma}_{\alpha}\left(x\right)={\sigma}_{\beta}\left(x\right)$
for some
$x\in B$
, then
$\alpha =\beta $
. Actually, if such a family
$\left\{{\sigma}_{\alpha}\right\}$
is given, then it is sufficient to put
${K}_{\alpha}={\sigma}_{\alpha}\left(B\right),\alpha \in A$
and on the opposite, if a foliation
$\left\{{K}_{\alpha}\right\}$
is given, then the sections
${\sigma}_{\alpha},\alpha \in A$
are defined by the equality
${\sigma}_{\alpha}\left(x\right):={\pi}^{-1}\left(x\right)$
${K}_{\alpha},x\in B,\alpha \in $
A. In fibre bundles with such a structure there appears a natural concept for a lifting
${\overline{\gamma}}_{u}:J\to E$
of any path
$\gamma :J\to B$
in the base
$B$
through every point
$u$
over the set
$\gamma \left(J\right)$
, i.e.
$u\in {\overline{\gamma}}_{u}\left(J\right)$
and
$\pi \circ {\overline{\gamma}}_{u}=\gamma \left[12\right]$
. In fact, if we define
$\alpha \left(u\right)\in A$
as the subscript of the unique fibre
${K}_{\alpha \left(u\right)}\in \left\{{K}_{\alpha}\right\}$
to which belongs the point
$u$
, i.e.
${K}_{\alpha \left(u\right)}\ni u$
, then the lifting
${\overline{\gamma}}_{u}:J\to E$
of
$\gamma $
through
$u$
is given by
$${\overline{\gamma}}_{u}\left(s\right):={\pi}^{-1}\left(\gamma \right(s\left)\right)\bigcap {K}_{\alpha \left(u\right)},s\in J.$$
Evidently,
$\left\{{\overline{\gamma}}_{u}\right(J):u\in {\pi}^{-1}(\gamma \left({s}_{0}\right)\left)\right\}$
for a fixed
${s}_{0}\in J$
is a one dimensional foliation of the
$(dim(B)+1)$
-dimensional manifold
${\pi}^{-1}\left(\gamma \right(J\left)\right)$
. Besides, it is clear that
${\overline{\gamma}}_{u}$
is the unique lifting of
$\gamma $
in
$E$
lying as a whole in some of the fibres of the foliation
$\left\{{K}_{\alpha}\right\}$
.

The so-defined lifting
$\gamma \to {\overline{\gamma}}_{u}$
generates a transport
$K$
along the parts in
$B$
, defined by
$${K}_{s\to t}^{\gamma}\left(u\right):={\overline{\gamma}}_{u}\left(t\right),u\in {\pi}^{-1}\left(\gamma \right(s\left)\right),s\in J.$$
The following equalities, which are true for every
$r,s,t\in J$
and
$u\in {\pi}^{-1}\left(\gamma \right(s\left)\right)$
, show that
${K}_{s\to t}^{\gamma}$
is really a transport along
$\gamma $
from
$s$
to
$t($
see definition 2.1):

$${K}_{s\to s}^{\gamma}\left(u\right)={\overline{\gamma}}_{u}\left(s\right)={\pi}^{-1}\left(\gamma \right(s\left)\right)\bigcap {K}_{\alpha \left(u\right)}=u,u\in {\pi}^{-1}\left(\gamma \right(s\left)\right),s\in J,$$
$$=\left({K}_{t\to r}^{\gamma}\circ {K}_{s\to t}^{\gamma}\right)\left(u\right)={K}_{t\to r}^{\gamma}\left({\overline{\gamma}}_{u}\left(t\right)\right)={\overline{\gamma}}_{{\overline{\gamma}}_{u}\left(t\right)}\left(r\right)={\pi}^{-1}\left(\gamma \right(r\left)\right)\bigcap {K}_{\alpha \left({\overline{\gamma}}_{u}\right(t\left)\right)}$$
$$={\pi}^{-1}\left(\gamma \right(r\left)\right)\bigcap {K}_{\alpha \left(u\right)}={\overline{\gamma}}_{u}\left(r\right)={K}_{s\to r}^{\gamma}\left(u\right),u\in {\pi}^{-1}\left(\gamma \right(s\left)\right),r,s,t\in J.$$
Here, we have used that
$\alpha \left(v\right)=\alpha \left(u\right)$
for every
$v\in {K}_{\alpha \left(u\right)}$
which is a consequence of the uniqueness of the fibre of the foliation passing through an arbitrary point of the foliation.

Example 2.2. In [1], vol I, p. 174 the definitions are given for parallelism and a parallel vector field according to which ”if
$\xi $
is a vector bundle over
$B\times B$
, whose bundle over
$(x,y)\in B\times B$
is
$\{f:f:{T}_{x}(B)\to {T}_{y}(B),f$
linear
$\}$
, then the parallelism on
$B$
is such a section
$P\in $
Sec
$\xi $
that
$$P(z,y)\circ P(x,z)=P(x,y),P(x,x)=\mathit{i}{\mathit{d}}_{{T}_{x}},x,y,z\in B.$$
The vector field
$X$
is parallel (with respect to
$P)$
if
$$P(x,y){X}_{x}={X}_{y}\u201d.$$
If
$B$
is parallelizable, i.e. in it exists a parallelization
$P$
, then it uniquely defines axiomatically defined (global) parallel transport in
$B\left[2\right]$
. From the cited definitions it is clear that the parallelization
$P$
on
$B$
defines a transport (along paths) in the tangent to
$B$
fibre bundle
$\left(T\right(B),\pi ,B)$
. Besides, this transport is global in a sense that it depends only on the initial and final points of a transport and does not depend on paths connecting them. As the vector fields over
$B$
are in fact sections of
$\left(T\right(B),\pi ,B)[1,2]$
, it is evident that the above definition for parallelism of
$X$
is a special case of the definition 2.2.

2.2. ADDITIONAL RESTRICTIONS The considered below restrictions, which can be imposed on the transports along paths, are under the title ”additional” as, nevertheless they are important from some view-points, in our opinion, they have more special character and define one or another special property of the transports along paths. One should have in mind that they describe the functional dependence of the transports along paths on the path or curve of transport and they can be imposed separately, on groups, as well as all of them together. Besides, they have a number of equivalent formulations, but we below consider only one of them.

(1) Condition for locality If
${J}^{\prime}$
is a subinterval of
$J$
and
$\gamma :J\to B$
, then
$${I}_{s\to t}^{\gamma |{J}^{\prime}}={I}_{s\to t}^{\gamma}.s,t\in {J}^{\prime}\left(2.5\right)$$
where
$\gamma |{J}^{\prime}$
is the restriction of
$\gamma $
on
${J}^{\prime}\subset $
J. (2) Condition for invariance under the parameter changes If
$\tau :{J}^{\prime \prime}\to J$
is one-to-one map and
$\gamma :J\to B$
, then
$${I}_{s\to t}^{\gamma o\tau}={I}_{\tau \left(s\right)\to \tau \left(t\right)}^{\gamma},s,t\in {J}^{\prime \prime}.\left(2.6\right)$$
(3) Conditions for smoothness We will not formulate these conditions, but we shall only mention that there are three types of them, describing the ”smoothness” respectively of:

(3a) the dependence of a transport on a path of the transport; (3b) the dependence of a transport on its initial and final parameters; (3c) a transport as a map between the fibres over the curve defined by the path of transport.

In connection with the locality condition the following proposition is very important.

Proposition 2.3. If
${I}^{\gamma}$
is a transport along
$\gamma $
, then (2.5) is equivalent to
$${I}_{s\to t}^{\gamma}={I}_{s\to t}^{\gamma \left|\right[min(s,t),max(s,t)]},s,t\in J.\left(2.7\right)$$
Proof. (2.7) follows from (2.5) for
${J}^{\prime}=[min(s,t),max(s,t\left)\right]\subset $
J. On the opposite, if (2.7) holds, then
$${I}_{s\to t}^{\gamma |{J}^{\prime}}={I}_{s\to t}^{\left(\gamma \right|{J}^{\prime}\left)\right|[min(s,t),max(s,t\left)\right]}={I}_{s\to t}^{\gamma \left|\right[min(s,t),max(s,t)]}={I}_{s\to t}^{\gamma},$$
where
$s,t\in {J}^{\prime}\subset J$
and we have used the evident fact that if
${J}^{\prime \prime}\subset {J}^{\prime}\subset J$
, then
$\left(\gamma \right|{J}^{\prime}\left)\right|{J}^{\prime \prime}=\gamma |{J}^{\prime \prime}.$
par Proposition 2.3 shows that if (2.5) holds, then the transport along
$\gamma $
from
$s$
to
$t$
does not depend globally on the ”whole” map
$\gamma $
, but only on its restriction on the interval defined from
$s$
and t.

The transports along paths satisfying the condition (2.6), in fact, depend not on the path of transport
$\gamma :J\to B$
, bun on the curve of transport, i.e. only on the values
$\gamma \left(s\right),s\in J$
, or other wise stated, (2.6) leads to the dependence of a transport along
$\gamma $
only on the nonparametrized curve
$\gamma \left(J\right)$
. Namely, the set of these transports has invariant and clear geometrical sense.

It is important to note that frequently the condition (2.6) is given in a weaker form in which one wants
$\tau $
to be orientation preserving homeoor diffeomorphism.

Elsewhere it will be proved that ”a transport along paths is a parallel transport iff it satisfies simultaneously (2.5) and (2.6)”. The conditions of the type (3a) in their essence coincide with the conditions for smoothness in the axiomatic approach to the parallel transport, and those of the type (3b) in the case of considered in [6] linear transports in vector bundles are reduced to the standard condition for smoothness of linear operators (between vector spaces) on scalar parameter.

2.3. CONDITIONS FOR CONSISTENCY The conditions for consistency describe connections between transports along paths in fibre bundles and, if there exist, specific for the fibre bundles structures.

In the most general case of arbitrary fibre bundles there are no such structures due to which there are no conditions for consistency. They appear in more special cases, two of which are considered below. The general case of this problem will be a subject of another work.

Let
${I}_{s\to t}^{\gamma}$
be a transport along
$\gamma :J\to B$
from
$s$
to
$t,s,t\in J$
in the real (resp. complex) vector bundle
$(E,\pi ,B)$
. Then, on the transport I there can be imposed the following restriction.

(4) Condition for consistency with a vector structure If
$\lambda ,\mu \in \mathbf{R}($
resp.
$\lambda ,\mu \in \mathbf{C})$
and
$u,v\in {\pi}^{-1}\left(\gamma \right(s\left)\right),s\in J$
, then
$${I}_{s\to t}^{\gamma}(\lambda u+\mu v)=\lambda {I}_{s\to t}^{\gamma}u+\mu {I}_{s\to t}^{\gamma}v,s,t\in J.\left(2.8\right)$$
Using definition 2.2 we can reformulate (2.8) in an equivalent way by saying that a real (resp. complex) linear combination of transported along
$\gamma $
sections is also a transported along
$\gamma $
section whose value at
$\gamma \left(t\right)$
is obtained by transporting along
$\gamma $
from
$s$
to
$t$
the value of this linear combination at a point
$\gamma \left(s\right)$
for an arbitrary fixed
$s\in $
J. Evidently, in vector bundles the condition (2.8) reduces the transports along paths to the considered in [6] linear transports along paths.

Another important example of conditions for consistency appears in the case when in the fibre bundle
$(E,\pi ,B)$
is given a bundle metric
$g$
, i.e. [3] when in it is fixed a family
$\{{g}_{x}:{g}_{x}:{\pi}^{-1}(x\left){\pi}^{-1}\right(x)\to \mathbf{R},x\in B\}$
. In particular, if
$(E,\pi ,B)$
is a vector fibre bundle and
${g}_{x},x\in B$
are nondegenerate bilinear forms, then
$g$
defines an usual bundle metric in the fibre bundle [2]. (To this class belong also all (pseudo-)Riemannian metrics: if
$B$
is a (pseudo-)Riemannian manifold, then one puts
$E=T\left(B\right),{\pi}^{-1}\left(x\right)={T}_{x}\left(B\right),x\in B$
and
$g$
is identified with the (pseudo-)Riemannian metric of B.) In this case the class of transports along
$\gamma :J\to B$
satisfying the following condition is naturally generated.

(5) Condition for consistency with a bundle metric If
$u,v\in {\pi}^{-1}\left(\gamma \right(s\left)\right),s\in J$
, then
$${g}_{\gamma \left(s\right)}(u,v)={g}_{\gamma \left(t\right)}({I}_{s\to t}^{\gamma}u,{I}_{s\to t}^{\gamma}v),s,t\in J.\left(2.9\right)$$
In the (pseudo-)Riemannian case (2.9) simply means a conservation of the scalar product of the vectors under their (parallel) transport along an arbitrary path at any its point.

The transports along paths satisfying simultaneously (2.8) and (2.9) will be investigated elsewhere
$(cf.[13\left]\right)$
.

As we shall see elsewhere the conditions for consistency of transports along paths with some structures are equivalent to the demand these structures to be ”transported” with respect to properly chosen transports along paths acting in the corresponding fibre bundles. In particular, this is the case with the condition for consistency of a parallelism
$P($
see example 2.2 at the end of Subsect. 2.1) and its torsion
$S$
, which is given in [1], vol. I, p.175 and p.235, where this condition is taken as a definition for parallelness (”parallel transport”) of
$S$
; in fact, in this case, these two concepts are equivalent.

3. SOME PROPERTIES AND GENERAL FORM Proposition 3.1. If (2.2) is valid, then (2.3) is equivalent to the invertability of the map (2.1) when its initial and final parameters coincide, i.e. to the existence of
${\left({I}_{s\to s}^{\gamma}\right)}^{-1},s\in $
J. Proof. If (2.3) is valid, then, evidently, no matter whether (2.2) is true or not
${\left({I}_{s\to s}^{\gamma}\right)}^{-1}$
there exists and
${\left({I}_{s\to s}^{\gamma}\right)}^{-1}=$
id
${}_{{\pi}^{-{1}_{\left(\gamma \right(s\left)\right)}}}={I}_{s\to s}^{\gamma}$
. On the opposite, if, for example, exists the left inverse map
${\left({I}_{s\to s}^{\gamma}\right)}^{-1}$
, then putting
$r=s=t$
in (2.2), we get
${I}_{s\to s}^{\gamma}\circ {I}_{s\to s}^{\gamma}={I}_{s\to s}^{\gamma}$
and multiplying from left by
${\left({I}_{s\to s}^{\gamma}\right)}^{-1}$
, we convince ourselves in the validity of (2.3).

Proposition 3.2. If (2.2) is fulfilled, then (2.3) is equivalent to the existence of the inverse map of (2.1), besides
$${\left({I}_{s\to t}^{\gamma}\right)}^{-1}={I}_{t\to s}^{\gamma},s,t\in J.\left(3.1\right)$$
Proof. If (2.3) holds, putting
$r=t$
in (2.2), we get
${I}_{s\to t}^{\gamma}\circ \circ {I}_{t\to s}^{\gamma}=$
id
${}_{{\pi}^{-{1}_{\left(\gamma \right(t\left)\right)}}}$
, which results in (3.1). On the opposite, if (3.1) is true, then putting
$r=t$
in (2.2), we get
${I}_{t\to t}^{\gamma}={I}_{s\to t}^{\gamma}\circ \circ {I}_{t\to s}^{\gamma}={I}_{s\to t}^{\gamma}\circ {\left({I}_{s\to t}^{\gamma}\right)}^{-1}=$
id
${}_{{\pi}^{-{1}_{\left(\gamma \right(t\left)\right)}}}$
, i.e. (2.3) is valid.

In particular, (3.1) shows that the transports along a path
$\gamma :J\to B$
are 1:1 invertible maps between the fibres over
$\gamma \left(J\right)$
.

If
${\tau}_{-}:{J}^{\prime}\to J$
is an orientation changing 1:1 map between the real intervals
${J}^{\prime}$
and
$J$
and
$\gamma :J\to B$
is a path, then the path
${\gamma}_{{\tau}_{-}}:=\gamma \circ {\tau}_{-}:{J}^{\prime}\to B$
will be called inverse to
$\gamma $
with respect to
${\tau}_{-}$
. In the canonical case, when paths of the type
$\gamma :[0,1]\to B$
are considered, by definition [8,12] the inverse path to
$\gamma :[0,1]:\to B$
is
${\gamma}_{-}:=\gamma \circ {\tau}_{-}^{c}:[0,1]\to B$
, where
${\tau}_{-}^{c}:[0,1]\to [0,1]$
is defined by
${\tau}_{-}^{c}:s\to 1-s,s\in [0,1]$
. Proposition 3.3. If (2.6) holds, then the transports along a path
$\gamma :J\to B$
and its inverse path
${\gamma}_{{\tau}_{-}}:{J}^{\prime}\to B$
are connected by
$${I}_{s\to t}^{{\gamma}_{{\tau}_{-}}}={I}_{{\tau}_{-}}^{\gamma},s,t\in {J}^{\prime}.\left(3.2\right)$$
Proof. (3.2) follows from (2.6) for
$\tau ={\tau}_{-}.$
We define the product of paths in the following way which differs from the standard one
$(cf.[8,12]$
; see bellow). Let us have an ordered pair
$({\gamma}_{1},{\gamma}_{2})$
of two paths
${\gamma}_{h}:[{a}_{h},{b}_{h}]\to B,h=1,2$
with the end of
${\gamma}_{1}$
coinciding with the beginning of
${\gamma}_{2}$
, i.e.
${\gamma}_{1}\left({b}_{1}\right)=={\gamma}_{2}\left({a}_{2}\right)$
. Let there be given numbers
${a}_{o},{b}_{o},{c}_{o}\in \mathbf{R}$
, such that
${a}_{o}\le {c}_{o}\le {b}_{o}$
, and one-to-one maps
${\tau}_{1}:[{a}_{o},{c}_{o}]\to [{a}_{1},{b}_{1}]$
and
${\tau}_{2}:[{c}_{o},{b}_{o}]\to [{a}_{2},{b}_{2}]$
preserving the orientation, which, in particular, means that
${\tau}_{1}\left({a}_{o}\right)={a}_{1},{\tau}_{1}\left({c}_{o}\right)={b}_{1},{\tau}_{2}\left({c}_{o}\right)={a}_{2}$
and
${\tau}_{2}\left({b}_{o}\right)={b}_{2}$
. The product of the paths
${\gamma}_{1}$
and
${\gamma}_{2}$
is a path
$$({\gamma}_{1}{\gamma}_{2}{)}_{\chi}:[{a}_{o},{b}_{o}]\to B,(3.3a)$$
which depends on the parameter
$\chi :=({a}_{o},{b}_{o},{c}_{o};{\tau}_{1},{\tau}_{2})$
, and it is defined by the equalities
$$\left({\gamma}_{1}{\gamma}_{2}{)}_{\chi}\right|[{a}_{o},{c}_{o}]:={\gamma}_{1}\circ {\tau}_{1},\left(3.3b\right)$$
$$\left({\gamma}_{1}{\gamma}_{2}{)}_{\chi}\right|[{c}_{o},{b}_{o}]:={\gamma}_{2}\circ {\tau}_{2}.\left(3.3c\right)$$
In the canonical case (see [8,12]) the product of the paths
${\gamma}_{h}:[0,1]\to B,h=1,2$
is defined by a parameter
${\chi}^{c}=(0,1,1/2;{\tau}_{1}^{c},{\tau}_{2}^{c})$
, where
${\tau}_{1}^{c}:s\to 2s$
for
$s\in [0,1/2]$
and
${\tau}_{2}^{c}:s\to 2s-1$
for
$s\in [1/2,1]$
.

Proposition 3.4. Let
$\left(2.2\right),\left(2.6\right)$
and (2.7) be valid. Let
${\gamma}_{h}:[{a}_{h},{b}_{h}]\to B,h=1,2$
and
$({\gamma}_{1}{\gamma}_{2}{)}_{\chi}$
be the product of
${\gamma}_{1}$
and
${\gamma}_{2}$
defined by a parameter
$\chi =({a}_{0},{b}_{0},{c}_{0};{\tau}_{1},{\tau}_{2})$
. Then, for arbitrary
${t}_{1}\in [{a}_{0},{c}_{0}]$
and
${t}_{2}\in [{c}_{0},{b}_{0}]$
the equality is valid
$${I}_{{t}_{1}\to {t}_{2}}^{({\gamma}_{1}}={I}_{{a}_{2}\to {\tau}_{2}\left({t}_{2}\right)}^{{\gamma}_{2}}\circ {I}_{{\tau}_{1}\left({t}_{1}\right)\to {b}_{1}}^{{\gamma}_{1}},{a}_{0}\le {t}_{1}\le {c}_{0}\le {t}_{2}\le {b}_{0}.\left(3.4\right)$$
Proof. Using consequently
$\left(2.2\right),\left(2.7\right),\left(2.6\right)$
and the above definition of
$({\gamma}_{1}{\gamma}_{2}{)}_{\chi}$
, we get:
$${I}_{{t}_{1}\to {t}_{2}}^{({\gamma}_{1}{\gamma}_{2}{)}_{\chi}}={I}_{{c}_{0}\to {t}_{2}}^{({\gamma}_{1}{\gamma}_{2}{)}_{\chi}}\circ {I}_{{t}_{1}\to {c}_{0}}^{({\gamma}_{1}{\gamma}_{2}{)}_{\chi}}={I}_{{c}_{0}\to {t}_{2}}^{\left({\gamma}_{1}{\gamma}_{2}{)}_{\chi}\right|[{c}_{0},{t}_{2}]}\circ {I}_{{t}_{1}\to {c}_{0}}^{\left({\gamma}_{1}{\gamma}_{2}{)}_{\chi}\right|[{t}_{1},{c}_{0}]}$$
$$={I}_{{c}_{0}\to {t}_{2}}^{{\gamma}_{2}\circ {\tau}_{2}}\circ {I}_{{t}_{1}\to {c}_{0}}^{{\gamma}_{1}\circ {\tau}_{1}}={I}_{{\tau}_{2}\left({c}_{0}\right)\to {\tau}_{2}\left({t}_{2}\right)}^{{\gamma}_{2}}\circ {I}_{{\tau}_{1}\left({t}_{1}\right)\to {\tau}_{1}\left({c}_{0}\right)}^{{\gamma}_{1}},$$
from where it follows (3.4), as we have
${\tau}_{1}\left({a}_{0}\right)={a}_{1},{\tau}_{1}\left({c}_{0}\right)={b}_{1},{\tau}_{2}\left({c}_{0}\right)={a}_{2}$
and
${\tau}_{2}\left({b}_{0}\right)={b}_{2}$
because
${\tau}_{1}$
and
${\tau}_{2}$
are orientation preserving .

Remark. If we had, for example,
${t}_{1},{t}_{2}\in [{a}_{0},{c}_{0}]$
, then instead of (3.4) the equality will be valid
$${I}_{{t}_{1}\to {t}_{2}}^{({\gamma}_{1}{\gamma}_{2}{)}_{\chi}}={I}_{{\tau}_{1}\to {\tau}_{1}\left({t}_{2}\right)}^{{\gamma}_{1}},{t}_{1},{t}_{2}\in [{a}_{0},{c}_{0}],\left(3.5\right)$$
in the derivation of which only (2.6) and (2.7) can be used.

The above proposition shows some important properties of transports along paths and connections between the basic properties describing them. Let us note that when deriving
$\left(3.2\right),\left(3.4\right)$
and (3.5) the main role was played by the condition for invariance (2.6).

Once again we want to stress the fact that the basic properties describe the dependence of a transport along paths on the initial and final value of its parameters, while the additional conditions define its dependence on the path of the transport.

The general functional form of the transports along paths is given by Theorem 3.1. Let in the base
$B$
of the fibre bundle
$(E,\pi ,B)$
be given a path
$\gamma :J\to B$
and for arbitrary
$s,t\in J$
be given a map (2.1). The maps
${I}_{s\to t}^{\gamma},s,t\in J$
define a transport along
$\gamma $
from
$s$
to
$t$
, i.e. (2.2) and (2.3) are satisfied iff there exist a set
$Q$
and a family of one-to-one maps
$\{{F}_{s}^{\gamma}:{\pi}^{-1}(\gamma \left(s\right))\to Q,s\in J\}$
such that
$${I}_{s\to t}^{\gamma}={\left({F}_{t}^{\gamma}\right)}^{-1}\circ \left({F}_{s}^{\gamma}\right),s,t\in J.\left(3.6\right)$$
Proof. The theorem is a corollary of the following lemma in which one has to put
$N=J,{Q}_{s}={\pi}^{-1}\left(\gamma \right(s\left)\right)$
and
${R}_{s\to t}={I}_{s\to t}^{\gamma},s,t\in $
J. Lemma 3.1. Let there be given a set
$N,N\ne \varnothing $
and families of equipollent sets
$\{{Q}_{s}:s\in N\}$
and of maps
$\{{R}_{s\to t}:{R}_{s\to t}:{Q}_{s}\to {Q}_{t},s,t\in N\}$
. Then, the maps of
$\left\{{R}_{s\to t}\right\}$
satisfy the equalities
$${R}_{s\to t}\circ {R}_{r\to s}={R}_{r\to t},r,s,t\in N,\left(3.7\right)$$
$${R}_{s\to s}=\mathit{i}{\mathit{d}}_{{Q}_{s}},s\in N\left(3.8\right)$$
iff there exists an equipollent with
${Q}_{s}$
for some
$s\in N$
set
$Q$
and a family of one-to-one maps
$\{{F}_{s}:{F}_{s}:{Q}_{s}\to Q,s\in N\}$
, such that
$${R}_{s\to t}=({F}_{t}{)}^{-1}\circ ({F}_{s}),s,t\in N.(3.9)$$
Proof. The sufficiency is almost evident: the substitution of (3.9) into (3.7) and (3.8) converts them into identities. On the opposite, putting in
$\left(3.7\right)r=t$
and using (3.8), we see that
${R}_{s\to t}$
has an inverse map and
$$({R}_{s\to t}{)}^{-1}={R}_{t\to s},s,t\in N,(3.10)$$
due to which (see and (3.7)) for any fixed
${s}_{0}\in N$
, we have
${R}_{s\to t}=={R}_{{s}_{0}}\circ {R}_{s\to {s}_{0}}={\left({R}_{t\to {s}_{0}}\right)}^{-1}\circ \left({R}_{s\to {s}_{0}}\right)$
, i.e. (3.9) is fulfilled for
$Q={Q}_{{s}_{0}}$
and
${F}_{s}={R}_{s\to {s}_{0}}.$
The arbitrariness in the choice of the set
$Q$
and a family
$\left\{{F}_{s}\right\}$
in the theorem 3.1 is described by Proposition 3.5. Let in the fibre bundle
$(E,\pi ,B)$
be given a transport along paths I with a representation (3.6) for some set
$Q$
and a family of 1:1 maps
$\{{F}_{s}^{\gamma}:{\pi}^{-1}(\gamma \left(s\right))\to Q,s\in J\}$
. Then, there exist a set
${}^{o}Q$
and a family of one-to-one maps
${\{}^{o}{F}_{s}^{\gamma}:{\pi}^{-1}\left(\gamma \right(s\left)\right){\to}^{o}Q,s\in J\}$
such that
$${I}_{s\to t}^{\gamma}={\left({}^{o}{F}_{t}^{\gamma}\right)}^{-1}\circ \left({}^{o}{F}_{s}^{\gamma}\right),s,t\in J,\left({3.6}^{\prime}\right)$$
iff there exists an one-to-one map
${D}^{\gamma}{:}^{o}Q\to Q$
for which
$${F}_{s}^{\gamma}={D}^{\gamma}\circ \left({}^{o}{F}_{s}^{\gamma}\right),s\in J.\left(3.11\right)$$
Proof. The proposition follows for
$N=J,{Q}_{s}={\pi}^{-1}\left(\gamma \right(s\left)\right)$
and
${R}_{s\to t}={I}_{s\to t}^{\gamma},s,t\in J$
from Lemma 3.2. Let there be given a set
$N,N\ne $
, family of equipollent sets
$\{{Q}_{s}:s\in N\}$
, an equipollent with
${Q}_{s}$
for some
$s\in N$
set
${}^{o}Q$
and a family of maps
${\{}^{o}{F}_{s}{:}^{o}{F}_{s}:{Q}_{s}{\to}^{o}Q,s\in N\}$
. If
$${R}_{s\to t}={\left({}^{o}{F}_{t}\right)}^{-1}\circ \left({}^{o}{F}_{s}\right),\left({3.9}^{\prime}\right)$$
then (3.9) is valid for some family of maps
$\{{F}_{s}:{F}_{s}:{Q}_{s}\to Q,s\in N\},Q$
being some equipollent with
${}^{o}Q$
set, if and only if there exists a one-to-one map
$D{:}^{o}Q\to Q$
, such that
$${F}_{s}=D\circ {(}^{o}{F}_{s}).(3.12)$$
Proof. The sufficiency is almost evident: if (3.12) is true for some
$Q$
and
$\left\{{F}_{s}\right\}$
, then from it we find
${}^{o}{F}_{s}={D}^{-1}\circ {F}_{s},s\in N$
and substituting this result into
$\left({3.9}^{\prime}\right)$
, we get (3.9). On the opposite, if (3.9) is true, then, due to
$\left({3.9}^{\prime}\right)$
, from it results in
${\left({F}_{t}\right)}^{-1}\circ \circ \left({F}_{s}\right)={\left({}^{o}{F}_{t}\right)}^{-1}\circ \left({}^{o}{F}_{s}\right),s,t\in N$
, hereof we see that
${F}_{s}\circ {\left({}^{o}{F}_{s}\right)}^{-1}=={F}_{t}\circ {\left({}^{o}{F}_{t}\right)}^{-1}$
for any
$s,t\in N$
, but this means that the left and right hand sides of the last equality do not depend either on
$s$
or on t. Hence, fixing arbitrarily some
${s}_{0}\in N$
and putting
$D={F}_{{s}_{0}}\circ \circ {\left({}^{o}{F}_{{s}_{0}}\right)}^{-1}{:}^{o}Q\to Q$
, from the last equality for
$t={s}_{0}$
, we get (3.12).

4. TIES WITH THE LIFTING OF PATHS The definition of a transport along paths I in a fibre bundle
$(E,\pi ,B)$
leads to a natural lifting of every path
$\gamma :J\to B\left[12\right]$
.

Definition 4.1. Let
$\gamma :J\to Bbeapath,{I}^{\gamma}$
be a transport along
$\gamma $
,
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
,
${q}_{\gamma}\left(u\right):=\{s:s\in J$
,
$\gamma \left(s\right)=\pi \left(u\right)\}$
and
${s}_{0}\in {q}_{\gamma}\left(u\right)$
. The path
${\overline{\gamma}}_{u,{s}_{0}}:J\to E$
defined by the equality
$${\overline{\gamma}}_{u,{s}_{0}}\left(s\right):={I}_{{s}_{0}\to s}^{\gamma}\left(u\right),s\in J,\left(4.1\right)$$
is the lifting of
$\gamma $
through
$u$
generated by
${I}^{\gamma}$
with a parameter
${s}_{0}$
; the map
$\gamma \to {\overline{\gamma}}_{u,{s}_{0}}$
is the lift through
$u$
generated by
${I}^{\gamma}$
with a parameter
${s}_{0}$
. If
${q}_{\gamma}\left(u\right)$
consists of only one element, i.e., if
$\pi \left(u\right)$
is not a self-intersection point for
$\gamma $
, then
${\overline{\gamma}}_{u,{s}_{0}}$
will be denoted simply by
${\overline{\gamma}}_{u}$
and we say that
${\overline{\gamma}}_{u}$
and
$\gamma \to {\overline{\gamma}}_{u}$
are generated by
${I}^{\gamma}$
.

Evidently, any transport along paths I generates through
$\left(4.1\right)a$
lift of the paths from the base B. The usage of the term ”lifting” here and in definition 4.1 is correct due to Proposition 4.1. The path
${\overline{\gamma}}_{u,{s}_{0}}:J\to E$
, defined by (4.1), is a lifting of the path
$\gamma :J\to B$
(from
$B$
into
$E)$
through
$u$
, i.e.

$$\pi \circ {\overline{\gamma}}_{u,{s}_{0}}={\overline{\gamma}}_{u,{s}_{0}}\left({s}_{0}\right)=u\left(4.2\right)$$
Proof. (4.2) follows from (4.1) and definition 2.1 (see also (2.1) and (2.3)).

From (4.1) we can make the following simple, but important, conclusion.

In the general case, one transport along paths generates through the point
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
as many liftings of the path
$\gamma :J\to B$
as is the number of elements (the power) of
${q}_{\gamma}\left(u\right)$
, equal, evidently, to one plus the number of self-intersections of
$\gamma $
at the point
$\pi \left(u\right)$
. In this connection, one naturally puts the question in what sense and when the lift of a given path through a lying above it point is unique.

Definition 4.2. The lifting generated through (4.1) by a transport along paths I is globally unique (or is unique in an absolute sense) if for every path
$\gamma :J\to B$
and every
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
we have
$${\overline{\gamma}}_{u,r}={\overline{\gamma}}_{u,s},r,s\in {q}_{\gamma}\left(u\right).\left(4.3\right)$$
Proposition 4.2. The lifting generated through (4.1) by the transport I is globally unique iff
$${I}_{r\to s}^{\gamma}=\mathit{i}{\mathit{d}}_{{\pi}^{-{1}_{\left(\gamma \right(s\left)\right)}}}forthoser,s\in Jforwhich\gamma \left(r\right)=\gamma \left(s\right),\left(4.4\right)$$
or, which is equivalent, iff
$$v\in {\overline{\gamma}}_{u,r}\left(J\right)\Leftarrow \iff {\overline{\gamma}}_{v,s}={\overline{\gamma}}_{u,r},s\in {q}_{\gamma}\left(v\right),r\in {q}_{\gamma}\left(u\right).\left(4.5\right)$$
Proof. Let (4.3) be valid. Then, for any
$t\in J$
from (4.1), we get
${I}_{r\to t}^{\gamma}\left(u\right)={\overline{\gamma}}_{u,r}\left(t\right)={\overline{\gamma}}_{u,s}\left(t\right)={I}_{s\to t}^{\gamma}\left(u\right)$
. Therefore, due to the arbitrariness of
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
, we find
${I}_{r\to t}^{\gamma}={I}_{s\to t}^{\gamma}$
, which as a consequence of
$\left(2.1\right),\left(2.2\right),\left(3.1\right)$
and the definition of
${q}_{\gamma}\left(u\right)$
(see definition 4.1), is equivalent to (4.4). Further, if
$v\in {\overline{\gamma}}_{u,r}\left(J\right)$
,
$r\in {q}_{\gamma}\left(u\right)$
, then by (4.1) there exists
${s}_{1}\in J$
such that
$v={\overline{\gamma}}_{u,r}\left({s}_{1}\right)={I}_{r\to {s}_{1}}^{\gamma}\left(u\right)$
. So for every
$t\in J$
and
$s\in {q}_{\gamma}\left(v\right)$
, we have
${\overline{\gamma}}_{v,s}\left(t\right)={I}_{s\to t}^{\gamma}\left(v\right)={I}_{s\to t}^{\gamma}\circ {I}_{r\to {s}_{1}}^{\gamma}\left(u\right)=({I}_{s\to t}^{\gamma}\circ {I}_{{s}_{1}\to s}^{\gamma}\circ {I}_{r\to {s}_{1}}^{\gamma})\left(u\right)={I}_{r\to t}^{\gamma}\left(u\right)={\overline{\gamma}}_{u,r}\left(t\right).$
Here we used the evident fact that
${s}_{1}\in {q}_{\gamma}\left(v\right)$
(see (4.2)), the proved equality (4.4), and, besides, we have twice applied (2.2). Hence
${\overline{\gamma}}_{v,s}={\overline{\gamma}}_{u,r}$
, i.e. the right implication in (4.5) is true. The inverse implication in (4.5) is evident and it does not depend on any additional facts: if
${\overline{\gamma}}_{v,s}={\overline{\gamma}}_{u,r}$
for
$s\in {q}_{\gamma}\left(v\right)$
and
$r\in {q}_{\gamma}\left(u\right)$
, then
$v\in {\overline{\gamma}}_{v,s}\left(J\right)={\overline{\gamma}}_{u,r}\left(J\right)$
, i.e.
$v\in $
${\overline{\gamma}}_{u,r}\left(J\right)$
. So, we proved that (4.3) results in (4.4) leading to (4.5) due to which the proof of the proposition ends with the fact that from (4.5) there follows (4.3): as by definition
$u\in {\overline{\gamma}}_{u,r}\left(J\right)$
, then from (4.5) for
$v=u$
there follows (4.3). In a local sense, the generated from a transport along paths lifting of paths may be unique under different criteria, modifying in an appropriate way definition 4.2 and to which there correspond modified versions of proposition 4.2. For instance, the local uniqueness may be defined in the following two ways:

(a) Equality (4.3) is valid only along a given path
$\gamma ($
uniqueness along a given path). A necessary and sufficient condition for this is (4.4), or (4.5), to be fulfilled along the path
$\gamma .($
The proof is a consequence form the one of proposition 4.2 for a fixed path
$\gamma .)$
(b) Equality (4.3) to be valid only at a given point
$u$
over a path
$\gamma ($
uniqueness along a given path through a point above it). A necessary and sufficient condition for this is (4.4) to be fulfilled for every
$r,s\in {q}_{\gamma}\left(u\right).($
The proof is a consequence from the one of proposition 4.2 for fixed
$\gamma $
and u.) Due to this if the lifting is unique along
$\gamma $
through
$u$
, then it is unique along
$\gamma $
through every
$v\in {\pi}^{-1}\left(\pi \right(u\left)\right)$
, so
${q}_{\gamma}\left(v\right)={q}_{\gamma}\left(u\right)$
. Now, in the general case, (4.4) and (4.5) are not equivalent.

Evidently, the uniqueness with respect to (a) is stronger: the lifting is unique along a given path iff it is unique along it through an arbitrary point above it.

Corollary 4.1. The generated in accordance to (4.1) from an arbitrary transport along paths lifting of any path without self-intersection through any lying above it point is unique (in any one of the above-mentioned senses) along it.

Proof. If
$\gamma :J\to B$
is without intersections, then
$\gamma \left(s\right)=\gamma \left(r\right),s,r\in J$
is equivalent to
$r=s$
, as a consequence of which for every
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
the set
${q}_{\gamma}\left(u\right)$
contains only one element, so the equalities
$\left(4.3\right)-\left(4.5\right)$
are identically satisfied.

Due to corollary 4.1 there can be uniqueness of the mentioned lifts in a ”middle” between local and global sense. For instance, we can say that the liftings generated by transports along paths are unique when they act on the class of paths without self-intersections.

Concluding the discussion of the uniqueness of lifting generated by transports along paths we shall prove Proposition 4.3. The lifting generated through (4.1) from I is unique in a sense that for every path
$\gamma :J\to B$
, we have
$${\overline{\gamma}}_{{\overline{\gamma}}_{u,{s}^{\left(r\right),r}}}={\overline{\gamma}}_{u,s},u\in {\pi}^{-1}\left(\gamma \right(s\left)\right),r,s\in J,\left(4.6\right)$$
i.e. the lift of any path through a point belonging to its lifting, when the value of its parameter coincides with the one describing this point, coincides with the initial lift of the path.

Proof. (4.6) is equivalent to the basic property (2.2) of the transports along paths: if
$t\in J$
, then
${\overline{\gamma}}_{u,s}\left(t\right)={I}_{s\to t}^{\gamma}\left(u\right)$
and
${\overline{\gamma}}_{{\overline{\gamma}}_{u,{s}^{\left(r\right),r}}}\left(t\right)={I}_{r\to t}^{\gamma}($
${}_{u,s}\left(r\right))={I}_{r\to t}^{\gamma}\circ {I}_{s\to r}^{\gamma}(u)$
, so (4.6) and (2.2) are equivalent.

Corollary 4.2. If the lifting generated through (4.1) by I is globally (resp.

locally) unique (resp. along
$\gamma )$
and
$u,v\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
, then
${\overline{\gamma}}_{u,r}\left(J\right)$
${}_{v,s}\left(J\right)=$
or
${\overline{\gamma}}_{u,r}\left(J\right)={\overline{\gamma}}_{v,s}\left(J\right),r\in {q}_{\gamma}\left(u\right),s\in {q}_{\gamma}\left(v\right)$
for every (resp. the given) path
$\gamma $
, i.e., in this case two generated from I liftings of one and the same path do not intersect with each other or coincide as sets.

Proof. Let
${\overline{\gamma}}_{u,r}\left(J\right)\cap {\overline{\gamma}}_{v,s}\left(J\right)\ne \varnothing $
and
$w\in {\overline{\gamma}}_{u,r}\left(J\right)\cap {\overline{\gamma}}_{v,s}\left(J\right)$
. Then, due to the global (resp. local) uniqueness (resp. along
$\gamma \left)\right(4.5)$
is valid because of proposition 4.2. So
${\overline{\gamma}}_{u,r}={\overline{\gamma}}_{w,t}={\overline{\gamma}}_{v,s}$
for
$r\in {q}_{\gamma}\left(u\right),s\in {q}_{\gamma}\left(v\right)$
and
$t\in {q}_{\gamma}\left(w\right)$
, i.e.
${\overline{\gamma}}_{u,r}={\overline{\gamma}}_{v,s}$
, from where we get
${\overline{\gamma}}_{u,r}\left(J\right)\overline{\gamma}={\overline{\gamma}}_{v,s}\left(J\right).$
Corollary 4.3. If the generated from I lifting is unique along a path
$\gamma ,u\in {\pi}^{-1}\left(\gamma \right(J\left)\right),v\in {\pi}^{-1}\left(\pi \right(u\left)\right)$
and
$v\ne u$
, then
${\overline{\gamma}}_{u,r}\left(J\right)\cap {\overline{\gamma}}_{v,s}\left(J\right)=\varnothing $
,
$r,s\in {q}_{\gamma}\left(u\right)={q}_{\gamma}\left(v\right)$
, i.e., in this case two lifts of one and the same path through two different points above it having equal projections do not have a common point as sets.

Proof. If we admit
${\overline{\gamma}}_{u,r}\left(J\right)\cap {\overline{\gamma}}_{v,s}\left(J\right)\ne \varnothing $
and
$w\in {\overline{\gamma}}_{u,r}\left(J\right)\cap {\overline{\gamma}}_{v,s}\left(J\right)$
, then by proposition 4.2 (see (4.5))
${\overline{\gamma}}_{u,r}={\overline{\gamma}}_{w,t}={\overline{\gamma}}_{v,s}$
,
$r,s\in {q}_{\gamma}\left(u\right)={q}_{\gamma}\left(v\right)$
,
$t\in {q}_{\gamma}\left(w\right)$
.

So, if we choose
${s}^{*}\in {q}_{\gamma}\left(u\right)={q}_{\gamma}\left(v\right)$
and use (4.3), we get
$u=$
${\overline{\gamma}}_{u,{s}^{*}}\left({s}^{*}\right)={\overline{\gamma}}_{u,s}\left({s}^{*}\right)={\overline{\gamma}}_{v,s}\left({s}^{*}\right)={\overline{\gamma}}_{v,{s}^{*}}\left({s}^{*}\right)=v$
, which contradicts
$u\ne $
v.

Proposition 4.4. For every
${s}_{0}\in J$
, for which the lifting generated by I is unique along
$\gamma $
through some
${v}_{0}\in {\pi}^{-1}\left(\gamma \right({s}_{0}\left)\right)$
, is fulfilled
$${\pi}^{-1}\left(\gamma \right(J\left)\right)={\bigcap}_{u\in {\pi}^{-1}\left(\gamma \right({s}_{0}\left)\right)}{\overline{\gamma}}_{u,s}\left(J\right)for\gamma \left(s\right)=\gamma \left({s}_{0}\right)\left(4.7\right)$$
for every
$s\in J$
and if
$s={s}_{0}$
, then this equality is valid in spite of the above conditions.

Proof. From the definition of the pointed uniqueness it follows that
${\overline{\gamma}}_{v,s}={\overline{\gamma}}_{v,{s}_{0}}$
,
$s,{s}_{0}\in {q}_{\gamma}\left({v}_{0}\right)$
for every
$v\in {\pi}^{-1}\left(\gamma \right({s}_{0}\left)\right)$
(see above). Then
$v=$
${\overline{\gamma}}_{v,{s}_{0}}\left({s}_{0}\right)={\overline{\gamma}}_{v,s}\left({s}_{0}\right)$
, from which we find
${\overline{\gamma}}_{v,s}={\overline{\gamma}}_{{\overline{\gamma}}_{v,{s}_{0}}}$
, so
$$v\in {\overline{\gamma}}_{v,s}\left(J\right)={\overline{\gamma}}_{{\overline{\gamma}}_{v,{s}^{({s}_{0}}}}\left(J\right)\subset {\bigcup}_{u\in {\pi}^{-{1}_{(}}}{\overline{\gamma}}_{({s}_{0}}{\gamma}_{u,s}\left(J\right)$$
and consequently
$${\pi}^{-1}\left(\gamma \right(J\left)\right)={\bigcup}_{v\in {\pi}^{-1}\gamma \left(J\right))}v\subseteq {\bigcup}_{u\in {\pi}^{-1}\gamma \left({s}_{0}\right)}{\overline{\gamma}}_{u,s}\left(J\right).$$
Evidently, for
$s={s}_{0}$
the last two formulae, as well as their proofs, are identically valid and do not have any connection with the uniqueness of the generated by I lifting.

On the other hand, due to (4.2), we have the inclusion
$${\bigcup}_{u\in {\pi}^{-1}\gamma \left({s}_{0}\right)}{\overline{\gamma}}_{u,s}\left(J\right)\subseteq {\pi}^{-1}\left(\gamma \right(J\left)\right),$$
from which, due to the previous inclusion, it follows (4.7).

Proposition 4.5. If the generated by I lifting is unique along
$\gamma :J\to B$
and
$E$
is a manifold, then for arbitrary fixed
${s}_{0},s\in J$
such that
$\gamma \left({s}_{0}\right)=\gamma \left(s\right)$
, the family
$\left\{{\overline{\gamma}}_{u,s}\right(J):u\in {\pi}^{-1}(\gamma \left({s}_{0}\right)\left)\right\}$
forms (one-dimensional) foliation of the submanifold
${\pi}^{-1}\left(\gamma \right(J\left)\right)\subset $
E. Proof. According to corollary 4.3, the sets from the considered family do not have common points, so the proposition follows directly from the definition of a foliation [11].

The above results show that the definition of a transport along paths in one fibre bundle induces a structure of foliation in the set of liftings of an arbitrary path in its base.

Now we shall consider the problem when in one (generally topological) fibre bundle there exist transports along paths.

Theorem 4.1. In the fibre bundle
$(E,\pi ,B)$
there exist transports along paths if and only if for every path
$\gamma :J\to B$
, every point
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
and every
$s\in {q}_{\gamma}\left(u\right)$
there exist a lift
${\overline{\gamma}}_{u,s}:J\to E$
of
$\gamma $
through
$u$
, for which
${\overline{\gamma}}_{u,s}\left(s\right)=u$
and which is unique in a sense that for it (4.6) is valid.

Proof. The necessity follows directly from definition 4.1 and propositions 4.1 and 4.3. On the opposite, let in
$(E,\pi ,B)$
exist a lift
$l:(\gamma ,u,s)\to {\overline{\gamma}}_{u,s}$
of the paths in
$B$
with the described properties. For
$s\in J$
and
$u\in {\pi}^{-1}\left(\gamma \right(s\left)\right)$
, we define the maps
${}^{l}{I}_{s\to t}^{\gamma}:{\pi}^{-1}\left(\gamma \right(s\left)\right)\to {\pi}^{-1}\left(\gamma \right(t\left)\right)$
by the equality
$${}^{l}{I}_{s\to t}^{\gamma}u:={\overline{\gamma}}_{u,s}\left(t\right),s,t\in J,u\in {\pi}^{-1}\left(\gamma \right(s\left)\right).\left(4.8\right)$$
On the one hand, if we put here
$s=t$
and use
${\overline{\gamma}}_{u,s}\left(s\right)=u$
and the arbitrariness of
$u$
, we get
${}^{l}{I}_{s\to s}^{\gamma}=$
id
${}_{{\pi}^{-{1}_{\left(\gamma \right(s\left)\right)}}}$
. On the other hand, from the proof of proposition 4.3 it follows that (4.6) is equivalent to
${}^{l}{I}_{t\to r}^{\gamma}{\circ}^{l}{I}_{s\to t}^{\gamma}{=}^{l}{I}_{s\to r}^{\gamma}$
, so
${}^{l}{I}_{s\to t}^{\gamma}$
is a transport along
$\gamma $
from
$s$
to
$t$
, i.e.,
${}^{l}I$
defined by
${}^{l}I:\gamma {\to}^{l}{I}^{\gamma}:(s,t){\to}^{l}{I}_{s\to t}^{\gamma}$
, is a transport along paths in
$(E,\pi ,B).$
Theorem 4.1 has also a local variant expressed by Theorem
${4.1}^{\prime}$
. In the fibre bundle
$(E,\pi ,B)$
along a given path
$\gamma :J\to B$
there exists a transport along it if and only if for every
$u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
and every
$s\in {q}_{\gamma}\left(u\right)$
there exists a lifting
${\overline{\gamma}}_{u,s}:J\to E$
of
$\gamma $
through
$u$
, for which
${\overline{\gamma}}_{u,s}\left(s\right)=u$
and (4.6) holds.

Proof. The proof of this theorem coincides with the proof of theorem 4.1 with the only difference that now the path
$\gamma $
is fixed.

The proof of theorem 4.1, together with proposition 4.1, gives us a reason to introduce Definition 4.3. If for one lifting of paths equality (4.6) holds along every (resp. a given) path
$\gamma $
, then for the defined by (4.8) transport along paths we shall say that it is generated by this lifting (resp. along
$\gamma )$
.

Proposition 4.6. If one transport along paths is generated through (4.8) by some lifting of paths from
$B$
to
$E$
, which is unique in a sense that (4.6) is true, then the generated from this transport, in accordance with definition 4.1, lifting of paths from
$B$
to
$E$
coincides with the initial lifting generating the considered transport along paths.

Proof. Let the transport along paths
${}^{l}I$
be generated by the lift
$l:\gamma \to {\overline{\gamma}}_{u,s},u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
,
${}_{u,s}\left(s\right)=u,s\in {q}_{\gamma}\left(u\right)$
in accordance with (4.8). Then, due to definition 4.1 and proposition
$4.1{,}^{l}I$
generates the lifting
${}^{\prime}l:\gamma {\to}^{\prime}$
${\overline{\gamma}}_{u,s}$
, so that
${}^{\prime}{\overline{\gamma}}_{u,s}\left(t\right){=}^{l}{I}_{s\to t}^{\gamma}$
u. Comparing the last equality with (4.8), we conclude that
${}^{\prime}{\overline{\gamma}}_{u,s}\left(t\right)=$
${\overline{\gamma}}_{u,s}\left(t\right),t\in J$
, i.e.
${}^{\prime}{\overline{\gamma}}_{u,s}=$
${\overline{\gamma}}_{u,s}$
and consequently
${}^{\prime}l=$
l.

Proposition 4.7. If one lifting of paths from
$B$
to
$E$
is generated from a transport along paths by (4.1), then this lifting generates in accordance with
$\left(4.8\right)a$
transport along paths coinciding with the transport along paths generating the considered lifting.

Proof. Let the lifting
$\gamma \to {\overline{\gamma}}_{u,s},u\in {\pi}^{-1}\left(\gamma \right(J\left)\right)$
,
${\overline{\gamma}}_{u,s}\left(s\right)=u,s\in {q}_{\gamma}\left(u\right)$
be generated from the transport I, i.e.
${\overline{\gamma}}_{u,s}\left(t\right)={I}_{s\to t}^{\gamma}$
u. Then, this lifting generates transport
${}^{l}I$
for which
${}^{l}{I}_{s\to t}^{\gamma}u={\overline{\gamma}}_{u,s}\left(t\right)={I}_{s\to t}^{\gamma}u$
, so
${}^{l}I=$
I. 5. CONNECTION GENERATED BY A TRANSPORT ALONG PATHS In this section, the problem will be discussed of how one transport along paths, with the help of the generated by it lifting of paths, generates a connection in (part of ) a given manifold.

Let
$(E,\pi ,B)$
be a differential fibre bundle,
$U$
be
$k$
-dimensional,
$1\le k\le dim$
, submanifold of
$B$
and
$U$
to be covered from a congruence of paths
${\gamma}_{\lambda}:J\to U$
numbered with the
$(k-1)$
-dimensional parameter
$\lambda =({\lambda}_{1},\dots ,{\lambda}_{k-1})\in \Lambda \subset {\mathbf{R}}^{k}$
, i.e.
$U={\cup}_{\lambda \in \Lambda}\left({\gamma}_{\lambda}\left({J}_{\lambda}\right)\right)$
and
${\gamma}_{\lambda}\left({J}_{\lambda}\right)\cap {\gamma}_{\mu}\left({J}_{\mu}\right)=\varnothing $
for
$\lambda ,\mu \in \Lambda ,\lambda \ne \mu $
. Then, from (4.7) it follows that for any fixed
$x\in U$
is fulfilled
$${\pi}^{-1}\left(U\right)={\bigcup}_{u\in {\pi}^{-1}\left(x\right)}\left[{\bigcup}_{\lambda \in \Lambda}{\overline{\left({\gamma}_{\lambda}\right)}}_{u,s}\left({J}_{\lambda}\right)\right],s\in {q}_{\gamma}\left(u\right)\left(5.1\right)$$
where the sets in square brackets, which are
$k$
-dimensional manifolds, form
$ak$
-dimensional foliation over
${\pi}^{-1}\left(U\right)\left[11\right]$
.

If
$u\in {\pi}^{-1}\left(U\right)$
and
${T}_{x}\left(M\right)$
is the tangent space to at
$x\in M$
to the manifold
$M\left[3\right]$
, then by definition [1,2,4] the vertical tangent space to
${\pi}^{-1}\left(U\right)$
at
$u$
is
$${T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right):={T}_{u}\left({\pi}^{-1}\right(\pi \left(u\right)\left)\right)\subset {T}_{u}\left({\pi}^{-1}\right(U\left)\right).\left(5.2a\right)$$
Let:
$${T}_{u}^{h-v}\left({\pi}^{-1}\right(U\left)\right):={T}_{u}\left({\bigcap}_{\lambda \in \Lambda}{\overline{\left({\gamma}_{\lambda}\right)}}_{u,s}\left({J}_{\lambda}\right)\right)\subset {T}_{u}\left({\pi}^{-1}\right(U\left)\right),\left(5.2b\right)$$
$${T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right):={T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right)\bigcap {T}_{u}^{h-v}\left({\pi}^{-1}\right(U\left)\right)\left(5.2c\right)$$
and
${T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
be the direct complement of
${T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)$
in
${T}_{u}^{h-v}\left({\pi}^{-1}\right(U\left)\right)$
, i.e.

$${T}_{u}^{h-v}\left({\pi}^{-1}\right(U\left)\right)=:{T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)\oplus {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right).\left(5.2d\right)$$
Lemma 5.1. For every
$u\in {\pi}^{-1}\left(U\right)$
is fulfilled
$${T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right)\bigcap {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)=\left\{0\right\}.\left(5.3\right)$$
where 0 is the zero element of
${T}_{u}\left({\pi}^{-1}\right(U\left)\right)$
.

Proof. Let
$u\in {\pi}^{-1}\left(U\right)$
and
$\Omega :={T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right)\cap {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
. If
$\omega \in \Omega $
, then
$\omega \in {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
and according to (5.2d), we have
$\omega \in {T}_{u}^{h-v}\left({\pi}^{-1}\right(U\left)\right)$
.

From here, taking into account (5.2c) and
$\omega \in {T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right)($
due to
$\omega \in \Omega )$
, it follows
$\omega \in {T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)$
. This fact, compared with
$\omega \in {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
shows that
$\omega \in {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)\cap {T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)$
. But, in accordance with the definition for a direct sum, from (5.2d) it follows
${T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
${T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)=\left\{0\right\}$
and so
$\omega \in \left\{0\right\}$
, i.e.
$\omega =0$
. Hence, if
$\omega \in \Omega $
, then
$\omega =0$
, due to which
$\Omega =\left\{0\right\}$
, i.e., (5.3) is valid.

Proposition 5.2. The subspaces
${T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right)$
are horizontal, i.e., they define a connection in the fibre bundle
$\left({\pi}^{-1}\right(U),\pi |U,U)=(E,\pi ,B){|}_{U}$
, iff
$${T}_{u}\left({\pi}^{-1}\right(U\left)\right)={T}_{u}^{v}\left({\pi}^{-1}\right(U\left)\right)\oplus {T}_{u}^{h}\left({\pi}^{-1}\right(U\left)\right).\left(5.4\right)$$
Remark. In the case of locally trivial fibre bundles an elementary check (see (5.2) and the dimensions of the defined by it objects) shows the equivalence of (5.4) and the condition
$${T}_{u}^{0}\left({\pi}^{-1}\right(U\left)\right)=\left\{0\right\},\left({5.4}^{\prime}\right)$$
Proof. The proposition is a direct consequence of the definitions (5.2), lemma 5.1 and the definition of a connection in arbitrary fibre bundles
$[2-4].$
A priori it is clear that the validity of the condition (5.4) depends on the used transport along paths I, which are used to construct liftings of paths appearing above, as well as on the choice of the family of paths
$\left\{{\gamma}_{\lambda}\right\}$
.

In particular, if
$U=B$
, and (5.4) is fulfilled, then the
$dim\left(B\right)$
-dimensional distribution
$u\to {T}_{u}^{h}\left(E\right)={T}_{u}^{h}\left({\pi}^{-1}\right(B\left)\right),u\in E$
defines a connection in
$(E,\pi ,B)$
and it is almost evident that the defined by it parallel transport (see [3,4]) along the paths
${\gamma}_{\lambda},\lambda \in \Lambda $
coincides with the initial transport I along them.

6.CONCLUSION In this work, we have defined and investigated some properties of the transports along paths in general fibre bundles. As examples of such transports we pointed out the linear transports along paths in vector bundles [6] and, in particular as their special case, the generated by derivations of tensor algebras over a manifold transports along paths [5]. Here, we were not concern with the ties of the theory developed with the ones of connections, parallel transports, bundle morphisms etc., items which will be studied elsewhere.

ACKNOWLEDGEMENTS The author expresses his gratitude to Prof. Vl. Aleksandrov (Institute of Mathematics of Bulgarian Academy of Sciences) for constant interest in this work and stimulating discussions.

This research was partially supported by the Fund for Scientific Research of Bulgaria under contract Grant No.
$F103$
.

REFERENCES 1. Greub W., S. Halperin, R. Vanstone, Connections, Curvature, and Cohomology, vol.1, vol.2, Academic Press, New York and London,
$1972,1973$
.

2. Dubrovin B.A., S.P. Novikov, A.T. Fomenko, Modern geometry, Nauka, Moscow, 1979 (In Russian). 3. Kobayashi S., K. Nomizu, Foundations of differential geometry, vol.1, Interscience publishers, New-York-London, 1963.

4. Warner F.W., Foundations of differentiable manifolds and Lie groups, Springer Verlag, New York-Berlin-Heidelberg-Tokyo, 1983.

5. Iliev B.Z., Parallel transports in tensor spaces generated by derivations of tensor algebras, Communication JINR,
$E5-93-1$
, Dubna, 1993.

6. Iliev B.Z., Linear transports along paths in vector bundles. I. General theory, Communication JINR,
$E5-93-239$
, Dubna, 1993.

7. Steenrod N., The topology of fibre bundles, 9-th ed., Princeton Univ. Press, Princeton,
$1974(1-sted.1951)$
. 8. Viro O.Ya., D.B. Fuks, I. Introduction to homotopy theory, In: Reviews of science and technic, sec. Modern problems in mathematics. Fundamental directions, vol.24, Topology-2, VINITI, Moscow,
$1988,6-121($
In Russian). 9. Husemoller D., Fibre bundles, McGrow-Hill Book Co., New York-St. Louis-San Francisco-Toronto-London-Sydney, 1966.

10. Iliev B.Z., Linear transports along paths in vector bundles. II. Some applications, Communication JINR,
$E5-93-260$
, Dubna, 1993.

11. Tamura I, Topology of foliations, Mir, Moscow, 1979 (In Russian; translation from Japanese).
$12.Hu$
Sze-Tsen, Homotopy Theory, Academic Press, New York-London, 1959.

13. Iliev B. Z., Consistency between metrics and linear transports along curves, Communication JINR,
$E5-92-486$
, Dubna, 1992. Iliev B. Z. Transports along Paths in Fibre Bundles I. General Theory Transports along path in fibre bundles are axiomatically introduced. Their general functional form and some their simple properties are investigated. The relationships of the transports along paths and lifting of paths are studied.

The investigation has been performed at the Laboratory of Theoretical Physics, JINR.

^{
$\text{1}$
}
$$
Permanent address: Laboratory of Mathematical Modeling in Physics, Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, Boul. Tzarigradsko chaussée 72, 1784 Sofia, Bulgaria E-mail address: bozho@inrne.bas.bg URL: http://theo.inrne.bas.bg/
$\sim $
bozho/