A curve in Euclidean space $\mathbb{R}^n$, $n \geq 2$ is $analytic$ if the coordinates of its points $x= x\_{1},...,x\_{n}$ can be expressed as analytic functions of a real parameter $x\_{i}=x\_{i}(t)$, $i=1,...,n$ and $\alpha \leq t \leq \beta$ and the derivatives $x'(t\_{0})$ do not simultaneously vanish for any $t\_{0} \in [\alpha, \beta]$.
I search for a proof of the following fact:


If the set of intersection points of two analytic curves is infinite, then these curves coincide.


Can we prove the same as above if we relax the condition that the coordinates are analytic to the condition that the coordinates belong to the class $C^{\infty}$?


Edit: Thanks to below remark by Ramiro, to obtain the above implication, we have to assume that any two curves $K\_{1}, K\_{2}$ as in the question are such that $K\_{1} \cap K\_{2}$ is not another analytic curve.


2nd edit: As suggested Peter, we can reformulate our question as follows:
 Consider two immersed curves which are parameterized real analytically on compact intervals. If they have an infinite number of different intersection points, then their union is again a real analytic immersed curve. 



Two different analytic curves cannot intersect in infinitely many points
Wrong: $t\mapsto \binom{t}{\sin(t)}$ and $t\mapsto\binom{t}{\cos(t)}$.


Edit: Grzegorz pointed out that $t$ is in a compact interval $[\alpha,\beta]$.
Under this assumption the statement is correct.


Proof: Let $f,g:[\alpha,\beta]\to \mathbb R^n$ be the two real analytically parameterized curves which intersect in $f(t\_i)=g(t\_i), i=1,2,\dots$ different points. Then the $t\_i$ have accumulation points in $[\alpha,\beta]$, thus $f$ and $g$ coincide on $[\alpha,\beta]$.


In the $C^\infty$ case the statement is wrong: Let $[\alpha,\beta]=[0,1]$ and consider
$$f(t) = \binom{t}{e^{-1/t^2}\sin(1/t)},\qquad g(t)=\binom{t}{0}.$$


2nd edit: Noam pointed out that my proof above was not conclusive. 
So let me try again: Suppose that $f(t\_i)=g(u\_i)$ for sequences of distinct points.
The $t\_i$ have accumulation an point $t$ and the $u\_i$ have an accumulation point $u$.
By continuity, $x=f(t)=g(u)$. Now we change both parameterizations as follows:
Choose a line $r\mapsto x + r.v$ for a vector $v$ such that both curves are transversal to the hyperplane $v^\bot$. Since both curves are immersions (if I understood the question right),
such $v$ exists. Now consider the orthogonal projection of both curves onto this line. In a neighborhood of $r=0$ these are real analytic diffeomorphisms, so their inverses gives us new parameterizations of both curves in the parameter $r$. There are still infinitely many intersection points of the two curves near $x$, but these intersections happen now at the same 
parameter values $r\_i$ with $r\_i\to 0$ without loss. Now my proof from above applies. 


I hope that I did not overlook something else this time. Many thanks for pointing out my mistakes. 


3rd edit: I overlooked again something (Thanks SJR and Ramiro). So what I proved is:
The intersection of the two curves contains an open interval in each curve. Note that each curve, as an immersion, is locally a real analytic submanifold. 


4th edit: Grzegorz, to the new question you posed in the comment, the following comes to my mind:
By a theorem of Whitney, any closed set in $\mathbb R^n$ is the zero locus of a smooth function. So take a set in $\mathbb R$ like the Cantor set which in uncountable, and a smooth function on $\mathbb R$ vanishing exactly on this set. The graph of this function and the $x$-axis are two $C^\infty$-curves which intersect in this set.


What do mean by: $K\_1\cap K\_2$ is not $C^\infty$?


5th edit: Grzegorz, instead of excluding Ramiro's example in your edit of the question,
you could reformulate as follows:


Consider two immersed curves which are parameterized real analytically on compact intervals.
If they have an infinite number of different intersection points, then their union is again a real analytic immersed curve. 


