84:
74:
53:
609:) with all the properties of embedding, such as homeomorphism, push-forward and pull-back functions, etc. Also, foliation involves some additional structures that connect the leaves, such as a common normal or a requirement for the hypersurfaces to be Cauchy surfaces. Such a definition would be more useful for the people which actually use the foliation concept, and they are primarily numerical relativists doing 3+1 decomposition of spacetime. So I confirm the interpretation of
22:
566:-dimensional manifolds. This could not be less obvious from reading the page. Such a simplified explanation should go either in the introduction or in a section before the more theoretic explanation presently included. I have not made such a change pending confirmation by someone who can confirm my interpretation.--
463:
I thought it was very confusing to boldface "stripe," as if it's some standard terminology to be learned, only to say that the correct terminology is "plaque." So I un-boldfaced stripe. Also, these guys are p-dimensional, not n-p - dimensional, rrright? They're sets where x (which consists of n-p
604:
From what I understand in this article, by "foliation" it means covering the manifold with immersed submanifolds. Although this may be correct as a very general and abstract definition, it is not how foliation is understood in the disciplines that use it (mainly relativity). In such applied sense,
295:
Does anyone know about the history of foliation theory? the book by
Camacho and Neto says that it was invented as an attempt to solve Poincare's conjecture, but a theorem of Novikov shattered this hopes (every foliation of a closed 3-manifold with trivial, or finite?, fundamental group has a Reeb
341:
It is confusing what p and n-p are for. From the definition, the dimension of leaves (or strips/plaques), where x=constant, should be p-dimensional, not n-p dimensional as stated. But this is inconsistent with what in
Examples and Foliation... One has to either switch p and n-p in Definition, or
274:. But with over 40 pages linking here on the math side and only 4 on the geology side, it seems silly. However, it is my request of fellow wikiers that the link to the diambiguation page be maintained at the top, as people interested in the geological usage can then go through to there and find
347:
integrability, the dimension of the integral curves of a vector field is first identified with the dimension of the leaves of a 1 dimensional foliation. However, in the next alinea, integral manifolds of an (n-p) dimensional distribution appear to be identified with the leaves of a foliation.
346:
Nobody seems to react to this criticism and yet it points to a true problem in the text, at least in the version as of today. In the definition section x stands for the first n-p coordinates and leaves are identified with x=constant so leaves are p dimensional. In the section
Foliations and
172:
Right, but then you added a link to it, which I thought was very strange. I did entertain the notion it might be a technical term though and that's why I wrote my comment in my edit description. I removed the link to avoid possible future confusion, since I figured you were using the word
619:
Also, the difference between stripes, plaques, and leaves is not clear in the article. I intend to add more precise definitions of rectangular neighbourhood, foliated atlas, etc. and then the link to overlapping plaques of a foliated atlas to form the leaves of a foliation.
218:
responsibility to stop them making some hypothetical mistake, which might distract some hypothetical reader some day. In fact that may remove some information they should have. The wiki isn't perfect; but the policy is that we assume editors are reasonable people first.
193:
I wasn't removing it because it was a red link. Let me emphasize: I removed it to avoid future confusion. I shudder to think of somebody clicking on it and getting sent to a page about a candy store. For example, try
296:
component). This book, or any other I know of, does not provide a reason why study/ do research on this subject. So, perhaps this entry would benefit if a reason to study foliations is provided.
140:
442:
479:
Should the line 'There is a global foliation theory, because topological constraints exist.' be 'There is no global foliation theory, because topological constraints exist.' ??
584:
lpatrol, maybe you could add a section and call it "A simple example: mesh functions". In it you or someone else could explain why not every foliation is this simple.
564:
532:
162:
My comment on the introduction paragraph. Obviously I used 'stripes' because it is a very quick way to get a visual image of a foliation, locally, for anyone.
350:
In the
Examples section, the "book" example, although correct in itself, is not presented in the same logic as the definition, which adds to the confusion.
699:
130:
198:. If you want to put it back, go ahead. I don't think there's a point to it though, since the second sentence pretty much gives a picture. --
106:
318:
Foliations can be viewed as solutions to first order linear homogeneous PDEs -- look at the technique of the proof of the
Frobenius theorem.
694:
483:
616:
Therefore, I changed the lead, giving first the general mathematical definition, and then the more special relativistic definition.
97:
58:
651:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
33:
263:
514:
are both examples of foliations. If I understand this correctly, then foliations are just ways of decomposing an
267:
487:
502:
I'm getting a sense that this subject can be explained in a much less technical way with a few examples.
589:
278:. Its either that or someone will have to go the disambiguation route, which seems like a lot of work.
275:
222:
186:
165:
39:
83:
412:
449:
360:
338:
I changed codimension by dimension, because I think that p is used in that sense in the definition.
21:
271:
355:
Is there someone among the principal contributors to this article willing to straighten this out?
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
676:
627:
397:
245:
89:
503:
445:
300:
I read somewhere that foliation theory was developed to understand the phase space structure of
73:
52:
571:
585:
469:
301:
657:
There is a mistake R^n must be a R^p when at the beginning you define what a foliation is.
537:
356:
305:
392:
being the dimension of the ambient (embedding) manifold. I made this clear in the lead.
507:
323:
282:
517:
688:
672:
671:
I think that C class is closer to the current state of the article so I promoted it.
648:
623:
393:
241:
610:
567:
511:
663:
Last edited at 13:42, 29 July 2009 (UTC). Substituted at 02:07, 5 May 2016 (UTC)
605:
foliation is understood as a stack of disjoint embedded hypersurfaces (dimension
464:
dimensions) is held constant, so the remaining p dimensions are allowed to vary.
465:
102:
79:
409:
More on the definition: There seems to be some confusion about the domain of
376:
is the dimension of the leaves and also the dimension of the foliation, and
319:
214:
responsibility to make sure the backlinks from it are all useful. It is not
444:, changing from R^n to R^p a few times. Let's settle that R^n is correct.
230:
199:
174:
237:
207:
182:
195:
680:
631:
593:
575:
491:
473:
453:
401:
364:
327:
308:
285:
249:
15:
482:
Sorry for replying here, not up with the interface quirks...
262:
I had a wild dream of having
Foliation be a redirect page to
185:, some day. There is no need to 'remove' red links, in fact.
342:
those in later parts. I hope that I am not misunderstood...
266:
and this page, which deals with mathematics, being called
643:
540:
520:
415:
304:. Perhaps I can dig up some material on the subject.
459:
Made a correction (I think) and another minor change
101:, a collaborative effort to improve the coverage of
558:
526:
436:
210:page - which I have just done, by the way - it is
647:, and are posted here for posterity. Following
641:The comment(s) below were originally left at
8:
534:-dimensional manifold into a collection of
47:
539:
519:
428:
420:
414:
504:Wolfram Mathematica's help documentation
49:
19:
388:is the codimension of the foliation,
7:
95:This article is within the scope of
38:It is of interest to the following
14:
700:Mid-priority mathematics articles
649:several discussions in past years
437:{\displaystyle \varphi _{ij}^{2}}
115:Knowledge:WikiProject Mathematics
181:Well, WP can have an article on
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
681:10:48, 26 September 2018 (UTC)
553:
541:
334:modification of the definition
309:18:39, 26 September 2006 (UTC)
1:
600:Comments about the definition
286:03:35, 30 December 2005 (UTC)
270:, and the gelogical us being
109:and see a list of open tasks.
695:C-Class mathematics articles
632:07:51, 27 August 2018 (UTC)
474:21:49, 12 August 2009 (UTC)
402:10:28, 27 August 2018 (UTC)
365:22:59, 11 August 2008 (UTC)
250:12:42, 31 August 2018 (UTC)
716:
328:16:51, 17 March 2020 (UTC)
264:foliation (disambiguation)
656:
594:19:12, 18 July 2015 (UTC)
576:17:41, 16 June 2015 (UTC)
492:11:32, 16 June 2022 (UTC)
233:08:45, Dec 9, 2004 (UTC)
206:Why? If anyone created a
134:
67:
46:
454:19:39, 4 July 2011 (UTC)
268:foliation (mathematical)
225:08:02, 9 Dec 2004 (UTC)
202:06:38, Dec 9, 2004 (UTC)
189:06:20, 9 Dec 2004 (UTC)
177:01:56, Dec 9, 2004 (UTC)
168:17:10, 8 Dec 2004 (UTC)
141:project's priority scale
644:Talk:Foliation/Comments
236:I don't see a relevant
98:WikiProject Mathematics
560:
528:
438:
291:History of the subject
28:This article is rated
561:
559:{\displaystyle (n-1)}
529:
498:Excessively technical
439:
314:that would be great!
538:
518:
413:
229:I see your point. --
121:mathematics articles
433:
272:foliation (geology)
258:foliation (geology)
637:Assessment comment
556:
524:
434:
416:
276:foliation (geology
90:Mathematics portal
34:content assessment
661:
660:
527:{\displaystyle n}
302:dynamical systems
155:
154:
151:
150:
147:
146:
707:
667:Start to C class
654:
653:
646:
565:
563:
562:
557:
533:
531:
530:
525:
443:
441:
440:
435:
432:
427:
223:Charles Matthews
187:Charles Matthews
166:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
715:
714:
710:
709:
708:
706:
705:
704:
685:
684:
669:
642:
639:
602:
536:
535:
516:
515:
500:
461:
411:
410:
336:
293:
260:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
713:
711:
703:
702:
697:
687:
686:
668:
665:
659:
658:
638:
635:
601:
598:
597:
596:
580:
555:
552:
549:
546:
543:
523:
506:suggests that
499:
496:
495:
494:
480:
460:
457:
431:
426:
423:
419:
407:
406:
405:
404:
368:
367:
357:Bas Michielsen
352:
351:
348:
335:
332:
331:
330:
312:
311:
292:
289:
281:
279:
259:
256:
255:
254:
253:
252:
204:
203:
179:
178:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
712:
701:
698:
696:
693:
692:
690:
683:
682:
678:
674:
666:
664:
655:
652:
650:
645:
636:
634:
633:
629:
625:
621:
617:
614:
612:
608:
599:
595:
591:
587:
583:
582:
581:
578:
577:
573:
569:
550:
547:
544:
521:
513:
512:contour lines
509:
505:
497:
493:
489:
485:
484:58.172.222.32
481:
478:
477:
476:
475:
471:
467:
458:
456:
455:
451:
447:
429:
424:
421:
417:
403:
399:
395:
391:
387:
383:
379:
375:
372:
371:
370:
369:
366:
362:
358:
354:
353:
349:
345:
344:
343:
339:
333:
329:
325:
321:
317:
316:
315:
310:
307:
303:
299:
298:
297:
290:
288:
287:
284:
277:
273:
269:
265:
257:
251:
247:
243:
239:
235:
234:
232:
228:
227:
226:
224:
220:
217:
213:
209:
201:
197:
192:
191:
190:
188:
184:
176:
173:informally.--
171:
170:
169:
167:
163:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
670:
662:
640:
622:
618:
615:
606:
603:
579:
501:
462:
408:
389:
385:
381:
377:
373:
340:
337:
313:
294:
261:
221:
215:
211:
205:
180:
164:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
586:Crasshopper
112:Mathematics
103:mathematics
59:Mathematics
689:Categories
508:grid lines
306:MathMartin
283:Rolinator
673:Lantonov
624:Lantonov
613:above.
394:Lantonov
242:Lantonov
611:Ipatrol
568:Ipatrol
280:Cheers,
139:on the
30:C-class
466:Kier07
238:stripe
208:stripe
183:stripe
158:stripe
36:scale.
607:n - 1
446:Eadmi
240:page
212:their
196:Swirl
677:talk
628:talk
590:talk
572:talk
510:and
488:talk
470:talk
450:talk
398:talk
361:talk
324:talk
320:Rybu
246:talk
216:your
231:C S
200:C S
175:C S
131:Mid
691::
679:)
630:)
592:)
574:)
548:−
490:)
472:)
452:)
418:φ
400:)
384:-
380:=
363:)
326:)
248:)
675:(
626:(
588:(
570:(
554:)
551:1
545:n
542:(
522:n
486:(
468:(
448:(
430:2
425:j
422:i
396:(
390:n
386:p
382:n
378:q
374:p
359:(
322:(
244:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.