|
|
|
|
real analytic subvariety
|
(Definition)
|
|
|
Let
 be an open set.
Definition 1 A closed set
 is called a real analytic subvariety of  such that for each point  , there exists a neigbourhood  and a set
 of real analytic functions defined in  , such that
 for all  |
|
If
 and all the
 are real polynomials, then  is said to be a real algebraic subvariety.
If  is not required to be closed, then it is said to be a local real analytic subvariety. Sometimes  is called a real analytic set or real analytic variety. Similarly as for complex analytic sets we can also define the regular and singular points.
Definition 2 A point  is called a regular point if there is a neighbourhood  of  such that  is a submanifold. Any other point is called a singular point.
The set of regular points of  is denoted by  or sometimes  The set of singular points is no longer a subvariety as in the complex case, though it can be sown to be semianalytic. In general, real subvarieties is far worse behaved than their complex counterparts.
- 1
- Jacek Bochnak, Michel Coste, Marie-Francoise Roy. Real Algebraic Geometry. Springer, 1998.
|
"real analytic subvariety" is owned by jirka.
|
|
(view preamble)
Cross-references: semianalytic, complex, subvariety, submanifold, neighbourhood, regular, closed, polynomials, real, real analytic functions, point, closed set, open set
There are 8 references to this entry.
This is version 1 of real analytic subvariety, born on 2007-12-12.
Object id is 10125, canonical name is RealAnalyticSubvariety.
Accessed 1298 times total.
Classification:
| AMS MSC: | 14P05 (Algebraic geometry :: Real algebraic and real analytic geometry :: Real algebraic sets) | | | 14P15 (Algebraic geometry :: Real algebraic and real analytic geometry :: Real analytic and semianalytic sets) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
