Are all manifolds locally flat? The definition of manifold I usually see is “A topological space $(X,T)$ in which for every member of the topological space $x \in (X,T)$ there exists a neighborhood $M_x$ such that is homeomorphic to an open set of $\mathbb{R}^n$
The problem with this definition is that it doesn’t seem to imply the intuitive notion that manifolds are locally flat (look flat when you zoom in). All it implies is that there are neighborhoods around points where the topology looks the same, but we know of objects that have the same topology but do not geometrically look the same (.ex a coffee cup and a donut).
It looks like a better definition of a manifold would be a set where for each member of the set there exists a neighborhood where the Riemann curvature tensor is approximately 0. Does this definition work? Is it implied from the 1st definition of a manifold? If so, how?
Thanks
 A: tl; dr: The definition of a manifold (a topological space having a single local model for its topology) is an asset, not a liability. The problem, as Thomas Andrews identifies, is ambiguity in the qualitative phrasing "locally flat" that we sometimes use when we're trying not to put off Ordinary Civilians.
(It's similarly misleading to speak of homeomorphisms as "continuous deformations," which colloquially and incorrectly suggests isotopies. But I digress.)

The property of looking flat when you zoom in is in the eye of the beholder, and there are advantages in squinting hard, so hard that you can't distinguish anything except outright discontinuity. The universe of topological spaces is beyond human comprehension: Think merely of subsets of Euclidean three-space with the induced topology. One motivation for working with manifolds, as conventionally defined, is to balance generality against tractability. As for generality, a great many physical problems (configuration spaces, vector fields, level sets) can be set naturally on manifolds. Regarding tractability, because any two connected manifolds of the same dimension are locally homeomorphic, dimension is a (topological or smooth) manifold's only local invariant. All else is global: compactness, homology and homotopy groups, etc.
Conversely, what do we change by requiring a manifold to have a local metric structure "nearly the same as" Euclidean space? For one thing, we must decide what "nearly the same as" means. For definiteness, let's work with Riemannian metrics. (These make sense only on smooth manifolds, and so represent a loss of generality.)
Now again: The curvature of a Riemannian metric does not shrink when we restrict attention to small neighborhoods. (Even the holonomy does not shrink, except insofar as the area enclosed by a simple closed loop shrinks with the length of the loop.) If we regard a unit sphere as "not nearly flat" but a microscopic piece of a unit sphere as "nearly flat," then nearly flat is not a local concept, but a global one: After all, locally a sphere and a piece of sphere are congruent, geometrically identical in the strongest Euclidean sense. There is nothing special about a unit sphere: In the seme sense every Riemannian manifold is "nearly flat" if we look at a sufficiently small nighborhood. In other words, a non-flat Riemannian metric can be "nearly flat" only in the sense that a non-zero real number can be "nearly zero," which is "not at all." (Asking for a manifold to admit a flat Riemannian metric is an enormous restriction. Compact flat manifolds are isometrically covered by a Euclidean space, i.e., are tori or spaces covered by tori.)
In an attempt (albeit reasonable-seeming) to capture a non-technical sense of "nearly flat," imposing a geometric condition both complicates the definition and dramatically narrows its scope. That, mathematically speaking, is why we don't.
