Dictionary between algebra and geometry is somewhat one of the main concepts in modern mathematics. So commutative $C^*$ algebras are one-to-one with locally compact Hausdorff spaces. So it is natural to be curious how one can see properties of the manifold from algebra of functions. In the realm of algebraic functions we can easily characterize algebraic functions on $C^n$ (i.e. $C[x_1,...,x_n]$ ) as free commutative algebra with $n$-generators.

**Question:** So I wonder is there any (hopefully simple) characterization of $R^n$ in $C^*$ world ?
I.e. can one somehow characterize the $C^*$-algebra of continuous functions on $R^n$ in an alternative way ?

Or may be the question for $S^n$ would be simpler, since it is compact.

The answers given below clarify the question a lot for me. Let me stress what I found somehow surprising for myself.

The natural description for $C^*$-algebra of $R^n$ **would be** just the same as in algebraic geometry setup - commutative $C^*$-algebra freely generated by $x_1,...x_n$... But this does not work because $x_i$ are unbounded functions on R^n and hence they do not fit to $C^*$ setup. So it is probably natural to extend class of $C^*$-algebras to include some unbounded operators, rather than ask about "simple" $C^*$-description of R^n.

I had a misunderstanding that there is NO description of $C^*$-algebras by generators and relations. Indeed, usually we take free algebra and factorize it over relations, but in $C^*$-world free algebra is NOT $C^*$ in any reasonable sense. Other way to describe $C^*$-algebra by generators and relations would be to define appropriate completion of the algebra of polynomials in generators - but this also does not seem to work since: how to describe norms of |a+b| in terms of a,b ? how to describe what kind of power series in generators belong to completion - this seems cannot be done explicitly, it is like one to describe continuous functions in terms theirs Fourier series, which " there is no way to characterize the Fourier series of continuous functions by means of a naive "sequence space" condition on the sequence. "

So it is somehow surprising for me that there is such a simple way to define $C^*$ by generators and relations - just say "it is universal $C^*$-algebra with such relations"... That seems to be an example where abstract thinking does seem to have a way round... Well not all the relations will work, e.g. ab-ba=1 will not - see MO151809, but that is another story.

Okay, thanks for answers.