1
$\begingroup$

I was reviewing my MV Calculus (got a bit rusty) and was stuck at this:

Question 1


If I have a function (curve) in $N$ dimensional space which is parametricized as $g(t)$. Now, $g'(t)|_{t=a}$ gives the tangent vector at $t=a$.

The book states (without proof) that the tangent line to the curve is given by the set $$\{g(a) + t\times g'(a)\ | \text{ }t \in \mathbb{R} \}$$

How is this true? Isn't the tangent vector simply $g'(t)|_{t=a}$

Consider g(t) = $\begin{pmatrix} sin(t)\\ cos(t)\\ t \end{pmatrix}$, g'(t) = $\begin{pmatrix} cos(t)\\ -sin(t)\\ 1 \end{pmatrix}$

At $t=\frac{\pi}{2}$, g'(t) = $\begin{pmatrix} 0\\ -1\\ 1 \end{pmatrix}$

What ahead?


Question 2

Is $\lim_{x \to a} a^{f(x)}$ the same as $a^{\lim_{x \to a} {f(x)}}$ ?

a is a constant

1 Answers 1

1

Ad Q1: The tangent to the curve at the point $g(a)$ is a line. The easiest way to present a line $\ell$ in space is via a parametric representation $t\mapsto{\bf x}(t)$. For this you need an initial point ${\bf p}\in\ell$ and a vector ${\bf u} \ne {\bf 0}$ pointing in the direction of $\ell$. The parametric representation of $\ell$ is then given by $$t\mapsto {\bf x}(t):={\bf p} + t\ {\bf u}\qquad(-\infty < t < \infty)\ .$$ In your case you can take ${\bf p}={\bf g}(a)$ and ${\bf u}:={\bf g}'(a)$; so the representation of the tangent becomes $$t\mapsto {\bf x}(t):={\bf g}(a) + t\ {\bf g}'(a)\qquad(-\infty < t < \infty)\ ,$$ as stated in your book.

Ad Q2: If $a$ is a positive constant then the function $y\mapsto a^y:=e^{y\log a}$ is continuous on all of ${\mathbb R}$. Assume that $\lim_{x\to a} f(x)=\eta\in{\mathbb R}$. Define $\tilde f$ by $\tilde f(a):=\eta$ and $\ :=f(x)$ otherwise. Then $\tilde f$ is continuous at $a$, and as the composition of continuous functions is continuous we have $$\lim_{x\to a}a^{f(x)}=\lim_{x\to a}a^{\tilde f(x)}=a^\eta=a^{\lim_{x\to a}f(x)}$$ (note that $f(a)$ is not inspected in a limiting process $x\to a$).