199:
necessary and sufficient. This shouldn't be too hard for somebody reasonably knowledgeable in the subject. It is completely unnecessary and in fact needlessly confusing to define here what is meant by "finer topology" when there is a link to that already. And please don't ramble on in the middle of a formal definition as to why or how this or that concept or theorem in connected. (All that's important and should remain part of the article, but not as part of a definition.) And don't "consider" things or use vague language such as "of some sort" in the middle of a definition, either.
84:
74:
53:
22:
695:"that is one for which the natural inclusion" (why "natural"?) "are faithfully represented as distributions (because we assume Φ dense)" (why "because"?) "the definition of rigged Hilbert space is in terms of a sandwich" (what is a "sandwich"?) "a simple example is given by Sobolev spaces" (why is this "simple"?)
661:
Shouldn't the last sentence of the article: " Note that even though Φ is isomorphic to Φ* if it happens that Φ is a
Hilbert space in its own right, this isomorphism is not the same as the composition of the inclusion i with its adjoint i*" read "Note that even when Φ is isomorphic to Φ* so that Φ is
657:
But how does this interact with the L^2 structure of L^2? For example, how does it interact with the existence of an L^2 eigenbasis of "bound states" for an elliptic operator, or compact operator, or
Fredholm operator somewhere? More ambitiously, how does it interact with approximate eigenvectors and
194:
I don't really know what a rigged
Hilbert space is. It seems to be some extension of a Hilbert space, but that is all I got from reading this article. A lot of important mathematical concepts are mentioned quite casually in the article, but a true formal definition is missing. When I see the words
396:
I have a Ph.D. in mathematics (analysis) and I find this article hard to read. I think it simply needs to be longer with longer explanations. I have seen a better explanation in a quantum mechanics book. Such phrases as "Phi 'carries' a finer topology", and "linear functionals on the subspace Phi
311:, not just functions. This concept is capable of expressing that. It pays dividends in spectral theory, for example, where it can be more interesting to know more about eigenvectors than just that they are vectors. They are typically functions or distributions, with smoothness and other properties.
202:
Sorry if this sounds like a rant, but I am a mathematical type person, not a physicist, and I really do have trouble understanding any kind of mathematical concept without a formal definition. Perhaps someone will be so kind as to include a formal definition in this article or put a little box on
198:
This article seems to have two definitions of a rigged
Hilbert space, neither of them formal. It would be better to say something on the order of: "A rigged Hilbert space is a Hilbert space H together with a subspace Φ ... such that:" followed by a formal list of conditions which together are
215:
I don't see a nice way of inserting the definition into the article without restructuring it significantly, and the technical definition is actually there among all the admittedly long winded verbiage. The definition is, a rigged
Hilbert space is a triple (H,S,S') of a Hilbert space, a dense
399:
for v in H are 'faithfully represented', etc." may cause trouble even for mathematicians. The "Formal definition (Gelfand triple)" section is better, but there should be at least a link with "the adjoint to i'. The assertion that "this isomorphism is not the same and the composition of the
698:
Also, the article says that a rigged
Hilbert space is a "pair". Yet it then goes on to talk about a "triple". I cannot seem to understand what the relationship is between this pair and this triple. For example, what is the point of this triple? It is actually necessary?
653:
I suppose you can take Φ to be C^∞ functions of compact support, Φ* to be distributions, and then we have Φ ⊆ L^2 ⊆ Φ*. Then L := i d/dx is defined from Φ* to itself, and u := exp(iλx) satisfies Lu = -λu in this space, so it is an eigenvector of L:Φ* → Φ*.
360:
Exactly. In the
Gelfand-style approach there is the extra 'degree of freedom' this allows (choose Φ to fit the problem). Connected certainly with the ideas of doing representation theory in infinite-dimensional spaces. With a Lie group acting, say in a
302:
that its elements can represent, say square-integrable holomorphic functions on the unit disc, than just to know about a definition in terms of square-summable sequences. Equally it is interesting to know about the elements of
702:
Finally, what is the purpose of this statement? Is it necessary? "if it happens that Φ is a
Hilbert space in its own right, this isomorphism is not the same as the composition of the inclusion i with its adjoint i*"
203:
this article that says "in need of expert attention." (I don't know how to do either one.) But I do know a formal mathematical definition when I see one, and this article doesn't have one, and it really needs one.
195:"a rigged Hilbert space is," or "Formally, a rigged Hilbert space consists of ..." I expect to see a formal mathematical definition, not a bunch of advanced mathematical concepts casually thrown together.
688:
As pointed out before, this article is very technical and thus hard to understand. And I say this as a PhD in theoretical physics. In places, the language also comes across as patronising to the reader.
499:
458:
140:
706:
625:
532:
592:
568:
534:. This may be useful if you care about applications and calculations only (as physicists usually do) but confuses the reader who thinks about the given explanation. --
282:
345:
645:
Such spaces were introduced to study spectral theory in the broad sense. They bring together the 'bound state' (eigenvector) and 'continuous spectrum', in one place.
460:
several times now, though I am quite sure those are not canonically isomorphic, while still isomorphic as vector spaces. I'd suggest to change the notation to
733:
130:
728:
106:
97:
58:
669:
710:
377:
or suchlike. In general you want something a bit bigger and more like test functions, complete therefore with respect to a bunch of
662:
a
Hilbert space in its own right, this isomorphism is not the same as the composition of the inclusion i with its adjoint i*" ?
463:
33:
422:
166:
Term "rigged" should be interpreted as "equipped and ready for action", in analogy with the rigging of a sailing ship. -
374:
39:
21:
597:
504:
673:
665:
362:
289:
382:
373:, or rather a dense. In simple examples you might be able to get away with a domain for those which was
348:
312:
206:
105:
on
Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
658:
point spectrum/continuous spectrum/residual spectrum of a (possibly unbounded) operator acting on L^2?
288:. So what's special about a rigged Hilbert space that makes it worth a name and definition of its own?
83:
167:
405:
401:
308:
570:
has an inner product. Note that the isomorphism is only over the reals. It is complex antilinear if
573:
549:
535:
221:
631:
inclusion, and furthermore, you have to remember that it is only real-linear, not complex-linear.
89:
216:
subspace (in the strong top), and its dual, viewed as a superset of H by means of Riesz. HTH -
73:
52:
640:
My difficulty with this article is the non-fulfillment of the promise made in the beginning:
400:
inclusion i with its adjoint i^*..." should be backed up with a reference or counterexample.
261:
677:
330:
627:
it is potentially confusing: it is given by a canonical injection (monomorphism), not an
176:
I assumed it meant "artificially constructed", as in, "this poker game is rigged". :-)
217:
722:
102:
714:
409:
385:
351:
315:
292:
246:
231:
209:
180:
170:
161:
650:
So how does this work? For example, how is exp(iλx) an eigenvector of i d/dx?
243:
228:
177:
158:
79:
378:
594:
is complex (with Hermitian inner product). So I agree, when you see
369:, the Lie algebra ought to be some differential operators acting on
227:
The topology on the subspace makes it into a locally convex space.--
327:
So the focus is not the Hilbert space H but the dense subspace
15:
579:
555:
480:
469:
439:
428:
494:{\displaystyle {\mathcal {H}}\cong {\mathcal {H}}^{\ast }}
600:
576:
552:
507:
466:
453:{\displaystyle {\mathcal {H}}={\mathcal {H}}^{\ast }}
425:
333:
264:
101:, a collaborative effort to improve the coverage of
619:
586:
562:
526:
493:
452:
339:
276:
415:Identification of the Hilbert space and it's dual
157:Why is the word "rigged" used in the name? -
8:
298:Well, it's actually more interesting about
19:
663:
47:
611:
599:
578:
577:
575:
554:
553:
551:
518:
506:
485:
479:
478:
468:
467:
465:
444:
438:
437:
427:
426:
424:
332:
284:, and every Hilbert space is canonically
263:
620:{\displaystyle H\subseteq \Phi ^{\ast }}
527:{\displaystyle H\subseteq \Phi ^{\ast }}
115:Knowledge (XXG):WikiProject Mathematics
49:
707:2A00:23C7:9386:BA00:C1D5:A0D1:EB6C:DFB
7:
95:This article is within the scope of
38:It is of interest to the following
608:
515:
334:
265:
14:
734:Mid-priority mathematics articles
729:Start-Class mathematics articles
546:canonically isomorphic, because
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
587:{\displaystyle {\mathcal {H}}}
563:{\displaystyle {\mathcal {H}}}
1:
501:and drop the confusing/wrong
224:08:05, 28 October 2005 (UTC)
181:05:06, 23 November 2005 (UTC)
171:22:53, 22 November 2005 (UTC)
162:07:23, 4 September 2005 (UTC)
109:and see a list of open tasks.
392:This article is hard to read
247:12:54, 28 October 2005 (UTC)
232:12:53, 28 October 2005 (UTC)
210:22:45, 27 October 2005 (UTC)
678:14:48, 30 August 2019 (UTC)
410:10:29, 24 August 2013 (UTC)
386:20:26, 8 January 2006 (UTC)
352:20:15, 8 January 2006 (UTC)
316:17:13, 8 January 2006 (UTC)
293:16:17, 8 January 2006 (UTC)
750:
419:I read the identification
715:20:11, 30 June 2020 (UTC)
635:
375:trigonometric polynomials
190:Formal Definition, Please
134:
67:
46:
141:project's priority scale
277:{\displaystyle \Phi =H}
255:I don't get the point.
98:WikiProject Mathematics
621:
588:
564:
528:
495:
454:
363:unitary representation
341:
278:
28:This article is rated
622:
589:
565:
529:
496:
455:
342:
340:{\displaystyle \Phi }
309:generalized functions
279:
32:on Knowledge (XXG)'s
598:
574:
550:
505:
464:
423:
414:
331:
262:
121:mathematics articles
617:
584:
560:
524:
491:
450:
397:of type phi -: -->
337:
274:
90:Mathematics portal
34:content assessment
680:
668:comment added by
636:Where's the beef?
155:
154:
151:
150:
147:
146:
741:
626:
624:
623:
618:
616:
615:
593:
591:
590:
585:
583:
582:
569:
567:
566:
561:
559:
558:
533:
531:
530:
525:
523:
522:
500:
498:
497:
492:
490:
489:
484:
483:
473:
472:
459:
457:
456:
451:
449:
448:
443:
442:
432:
431:
398:<v, \phi: -->
383:Charles Matthews
346:
344:
343:
338:
313:Charles Matthews
283:
281:
280:
275:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
749:
748:
744:
743:
742:
740:
739:
738:
719:
718:
686:
638:
607:
596:
595:
572:
571:
548:
547:
514:
503:
502:
477:
462:
461:
436:
421:
420:
417:
394:
329:
328:
260:
259:
192:
120:
117:
114:
111:
110:
88:
81:
61:
29:
12:
11:
5:
747:
745:
737:
736:
731:
721:
720:
685:
682:
648:
647:
637:
634:
633:
632:
614:
610:
606:
603:
581:
557:
521:
517:
513:
510:
488:
482:
476:
471:
447:
441:
435:
430:
416:
413:
393:
390:
389:
388:
357:
356:
355:
354:
336:
321:
319:
318:
290:84.160.220.238
273:
270:
267:
254:
252:
251:
250:
249:
237:
236:
235:
234:
191:
188:
186:
184:
183:
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:
746:
735:
732:
730:
727:
726:
724:
717:
716:
712:
708:
704:
700:
696:
693:
692:For example:
690:
684:Too technical
683:
681:
679:
675:
671:
670:129.59.122.10
667:
659:
655:
651:
646:
643:
642:
641:
630:
612:
604:
601:
545:
541:
540:
539:
537:
519:
511:
508:
486:
474:
445:
433:
412:
411:
407:
403:
391:
387:
384:
380:
376:
372:
368:
364:
359:
358:
353:
350:
349:84.160.244.63
326:
325:
324:
323:
322:
317:
314:
310:
306:
301:
297:
296:
295:
294:
291:
287:
271:
268:
256:
248:
245:
241:
240:
239:
238:
233:
230:
226:
225:
223:
219:
214:
213:
212:
211:
208:
207:130.94.162.64
204:
200:
196:
189:
187:
182:
179:
175:
174:
173:
172:
169:
164:
163:
160:
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:
705:
701:
697:
694:
691:
687:
664:— Preceding
660:
656:
652:
649:
644:
639:
628:
543:
538:24 May 2014
418:
395:
370:
366:
320:
304:
299:
285:
257:
253:
205:
201:
197:
193:
185:
165:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
347:it admits?
286:self-rigged
168:Kongruencja
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
723:Categories
402:Gsspradlin
542:But they
379:seminorms
242:OK TVS.--
666:unsigned
536:Clebor42
139:on the
629:actual
36:scale.
244:CSTAR
229:CSTAR
218:Lethe
178:linas
159:Gauge
711:talk
674:talk
406:talk
258:Let
222:Talk
544:are
365:on
307:as
131:Mid
725::
713:)
676:)
613:∗
609:Φ
605:⊆
520:∗
516:Φ
512:⊆
487:∗
475:≅
446:∗
408:)
381:.
335:Φ
266:Φ
220:|
709:(
672:(
602:H
580:H
556:H
509:H
481:H
470:H
440:H
434:=
429:H
404:(
371:H
367:H
305:H
300:H
272:H
269:=
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.