User:Niklas Hohmann/sandbox

Articles to Write
Increments (probability theory) of a stochastic processes Poisson–Dirichlet distribution F-related vector fields Section (mathematics) Gaussian drift Continuity in probability

Continuity in probability
In probability theory, a stochastic process is said to be continuous in probability or stochastically continuous if its distributions converge whenever the values in the index set converge.

Definition
Let $$ X=(X_t)_{t \in T} $$ be a stochastic process in $$ \R^n $$. The process $$ X$$ is continuous in probability when $$ X_r $$ converges in probability to $$ X_s $$ whenever $$ r $$ converges to $$ s $$.

Examples and Applications
Feller processes are continuous in probability at $$ t=0 $$. Continuity in probability is a sometimes used as one of the defining property for Lévy process. Any process that is continuous in probability and has independent increments has a version that is càdlàg. As a result, some authors immediately define Lévy process as being càdlàg and having independent increments.

F-related Vector fields
F-relatedness is a relation between two Vector Fields in Differential Geometry, a subdiscipline f Mathematics

Definition
Let $$ M $$ and $$ N $$ be Manifolds, and let $F$ be a smooth map from $$ M $$ to $$ N $$. Let $$ X $$ be a vector field on $$ N $$. Then a vector field $$ Y $$ on $$ N $$ is called F-related to $$ X $$ if the differential of $$ F $$ maps $$ X $$ to $$ Y $$

Existence
Give a map F and a vecotr field X, there might not be a single vectorfield in M that is F-related to X. This happens for example when F is not surjectoive, and its differnetial maps ????. If F is not injective, then two differnet vecotrs are mapped to the same point on N, shwing

Characterization of Tangen Submanifolds
Relatednes of Vecotor fields can be used to define what it means for a Vector field to be tangent to a submanifold. Statement. Let S be an an immersed submanifold of M and let i be the inclusion i colon M to S. If Y is a tangent to S, there is a uniquw vector field on S that is i-related to X then the inclusion is noted Y|S

Definitino of the Pushforward
If F is a diffeomorphism, then the Pushforward of X under F is the unique Vecotri field in N that is F-related to X. It can be defined explicitly by defining p=F^-1(q) Y_q= dF_p(X_p) Note that