499:
very clearly that this is meant to be the purpose. More importantly, though, as a physicist and not a mathematician, some of the details are unclear to me, and I think need to be clarified for a less specialized audience. For example, does the space of continuous functions need to include the dirac-delta function, since it is only the limit of a series of functionals and not a regular function, per-se? If this is the only counter example to the non-degeneracy, does that actually prove anything? Second of all, what is meant when it says that it is in the space of the dual but "not of the required form"? What is the required form to have the dirac delta function as its dual? This is very confusing to me.
84:
74:
53:
22:
559:
162:
564:
498:
This section is extremely unclear. First of all, I gather that it's meant to be an example of how in infinite dimensions a bilinear form can satisfy f(x,y)=0 for all y only if x=0 without being an isomorphism, and therefore doesn't satisfy the criteria for a non-degenerate form, but it doesn't state
218:
It would be much more useful if the article starts with describing the Non-degenerate forms rather than degenerate forms. Non-degenerate forms are much more used and more general. Degeneracy in mathematics is not very important. If nobody objects can we change the title and corresponding article to
462:
What is the significance of this "if and only if"? The thought behind it seems to be "A symmetric bilinear form is nondegenerate if and only if..." Perhaps it's a relic of a time when the paragraph began like that. Should it be deleted?
140:
355:
279:
424:
therefore that it is meant to be the continuous dual. But then the article could use a hint that "degeneracy" may depend on the topology of V that one is working with. –
314:
625:
130:
620:
548:. It does not generally make sense to have separate articles about a class and the complement of that class, and that is definitely the case here. —
106:
479:
417:
the notation V* refers to? It it's the algebraic dual, then all forms are degenerate because V* is too large to be isomorphic to V.
97:
58:
443:
438:
This is very confusing and unclear. If anyone wants to sort it out, the same problem is present on the Inner product space page.
597:
The
Examples section just repeats the last paragraph of Nondegenerate forms. Maybe some concrete examples could be added?
33:
439:
429:
519:
178:
21:
526:
are duals ("A nondegenerate form is one that is not degenerate") and therefore mostly redundant. Given that
188:
483:
468:
364:
39:
83:
464:
425:
399:
319:
316:? It would be helpful if the author of this article could provide a link to explain the meaning of
243:
181:
on 6 January 2021. For the contribution history and old versions of the redirected page, please see
500:
598:
531:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
527:
523:
504:
89:
73:
52:
602:
580:
571:
549:
535:
360:
174:
284:
281:? What is the function of the minus sign as an apparent argument in the bilinear function
226:
205:
614:
606:
584:
552:
539:
508:
487:
472:
447:
433:
402:
368:
230:
208:
576:
102:
414:
222:
79:
413:
In the infinite-dimensional case, doesn't the article need to explain which
374:
It's not a minus sign, it's a placeholder for an omitted argument.
514:
Proposed merge of
Nondegenerate form with Degenerate bilinear form
156:
15:
530:
is quite short it makes sense to merge these articles.
478:
No, it's ok. The phrase continues on the next line … --
183:
169:
322:
287:
246:
458:
or equivalently in finite dimensions, if and only if
101:, a collaborative effort to improve the coverage of
349:
308:
273:
8:
187:; for the discussion at that location, see
19:
47:
321:
286:
245:
219:better reflect the actual mathematics.
49:
453:Ungrammatical wording: If and only if
7:
558:
95:This article is within the scope of
38:It is of interest to the following
14:
626:Mid-priority mathematics articles
202:Could we make this more general?
115:Knowledge:WikiProject Mathematics
621:Start-Class mathematics articles
562:
557:
160:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
382:) means the function that maps
350:{\displaystyle v\mapsto f(-,v)}
274:{\displaystyle v\mapsto f(-,v)}
135:This article has been rated as
448:03:48, 28 September 2011 (UTC)
344:
332:
326:
303:
291:
268:
256:
250:
1:
540:09:08, 13 February 2020 (UTC)
488:22:10, 15 February 2012 (UTC)
109:and see a list of open tasks.
473:01:19, 31 October 2011 (UTC)
434:20:49, 15 January 2011 (UTC)
403:00:42, 29 January 2010 (UTC)
369:23:37, 28 January 2010 (UTC)
607:19:45, 5 January 2023 (UTC)
585:21:51, 6 January 2021 (UTC)
231:16:26, 12 August 2009 (UTC)
642:
553:19:18, 19 April 2020 (UTC)
509:21:36, 27 March 2015 (UTC)
209:22:46, 21 June 2006 (UTC)
134:
67:
46:
520:Degenerate bilinear form
179:Degenerate bilinear form
141:project's priority scale
98:WikiProject Mathematics
440:Hiiiiiiiiiiiiiiiiiiiii
351:
310:
309:{\displaystyle f(-,v)}
275:
28:This article is rated
352:
311:
276:
167:The contents of the
320:
285:
244:
121:mathematics articles
494:Infinite Dimensions
528:Nondegenerate form
524:Nondegenerate form
347:
306:
271:
170:Nondegenerate form
90:Mathematics portal
34:content assessment
409:Which dual space?
240:What is meant by
195:
194:
155:
154:
151:
150:
147:
146:
633:
569:
566:
565:
561:
560:
356:
354:
353:
348:
315:
313:
312:
307:
280:
278:
277:
272:
186:
164:
163:
157:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
641:
640:
636:
635:
634:
632:
631:
630:
611:
610:
595:
567:
563:
516:
496:
455:
426:Henning Makholm
411:
318:
317:
283:
282:
242:
241:
238:
216:
200:
182:
161:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
639:
637:
629:
628:
623:
613:
612:
594:
591:
590:
589:
588:
587:
515:
512:
495:
492:
491:
490:
454:
451:
410:
407:
406:
405:
346:
343:
340:
337:
334:
331:
328:
325:
305:
302:
299:
296:
293:
290:
270:
267:
264:
261:
258:
255:
252:
249:
237:
234:
215:
212:
199:
196:
193:
192:
165:
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:
638:
627:
624:
622:
619:
618:
616:
609:
608:
604:
600:
592:
586:
582:
578:
575:
573:
556:
555:
554:
551:
547:
544:
543:
542:
541:
537:
533:
529:
525:
521:
518:The articles
513:
511:
510:
506:
502:
493:
489:
485:
481:
477:
476:
475:
474:
470:
466:
460:
459:
452:
450:
449:
445:
441:
436:
435:
431:
427:
423:
418:
416:
408:
404:
401:
397:
393:
389:
385:
381:
377:
373:
372:
371:
370:
366:
362:
358:
341:
338:
335:
329:
323:
300:
297:
294:
288:
265:
262:
259:
253:
247:
235:
233:
232:
228:
224:
220:
213:
211:
210:
207:
203:
197:
190:
189:its talk page
185:
180:
176:
172:
171:
166:
159:
158:
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:
596:
570:
545:
517:
497:
461:
457:
456:
437:
421:
419:
412:
395:
391:
387:
383:
379:
375:
361:Howard McCay
359:
239:
221:
217:
204:
201:
168:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
480:84.75.62.94
465:Fomentalist
184:its history
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
615:Categories
415:dual space
400:Algebraist
206:futurebird
173:page were
574:complete.
593:Examples
501:Mpalenik
599:Angulon
577:Klbrain
550:Quondum
546:Support
532:Tea2min
139:on the
572:Merger
422:assume
175:merged
36:scale.
223:nirax
177:into
603:talk
581:talk
536:talk
522:and
505:talk
484:talk
469:talk
444:talk
430:talk
365:talk
227:talk
398:).
386:to
378:(-,
131:Mid
617::
605:)
583:)
538:)
507:)
486:)
471:)
446:)
432:)
420:I
367:)
357:.
336:−
327:↦
295:−
260:−
251:↦
229:)
601:(
579:(
568:Y
534:(
503:(
482:(
467:(
442:(
428:(
396:v
394:,
392:x
390:(
388:f
384:x
380:v
376:f
363:(
345:)
342:v
339:,
333:(
330:f
324:v
304:)
301:v
298:,
292:(
289:f
269:)
266:v
263:,
257:(
254:f
248:v
236:3
225:(
214:2
198:1
191:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.