84:
74:
53:
889:
powerset of the domain, to actually prove that this is a function would require some possibly tricky uses of the ZFC axioms), however I would much rather change 'naive set theory' to just 'set theory' because by this article's reasoning we should say 'naive set theory' whenever we aren't rigorously applying ZFC axioms, for example with images, preimages, indexed families, set operations, etc. etc.
22:
352:. The preimage is a separate thing, a generalization of the fiber to whole subsets of the codomain, instead of single elements at a time. We use the same notation for it, but definitions are the place where clarity is most valued. We don't need a notational allusion to a related concept. We need a simple function
888:
Is there really any need to say that fibers are a notion of naive set theory and not just set theory? I understand that we are not formally proving that the fiber of an element is a set using the ZFC axioms (and similarly if we want to consider the 'fiber function' mapping from the codomain to the
273:
as the definition for the fiber. I think this conflates the concept of "fiber" with "preimage". We are trying to express, in symbols, "the fiber of a function over a value in its codomain is the set of all inputs in the domain that map to that output", and that translates to
162:
The lead implies that there are two topics here. I tried to split the article but that wasn't appreciated :-( Sorry, but anyway, can the lead be re-written or expanded in a way that explains this as a single topic?
755:
271:
350:
687:
405:
140:
862:
632:
476:
814:
541:
450:
502:
587:
561:
955:
130:
950:
106:
873:
192:
277:
97:
58:
692:
931:
33:
637:
355:
913:
21:
869:
168:
894:
764:
39:
890:
83:
927:
919:
819:
592:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
865:
455:
184:
164:
89:
898:
73:
52:
777:
507:
416:
760:
481:
566:
546:
944:
909:
411:
774:
I put it back along with a ":=" to make it clear that this statement is defining
923:
816:
since I had taken it to mean that it was saying that that it's being defined as
102:
935:
877:
768:
172:
79:
452:
generalizes the concept of a fiber to whole subsets of the codomain
15:
750:{\displaystyle f^{-1}:{\mathcal {P}}(Y)\to {\mathcal {P}}(X)}
916:. Theres no point in having a dedicated Knowledge article.
733:
714:
665:
407:, and then we can add a note beneath it, along the lines of
383:
543:
is still used to refer to the fiber, as the fiber over
822:
780:
695:
640:
595:
569:
549:
510:
484:
458:
419:
358:
280:
195:
101:, a collaborative effort to improve the coverage of
266:{\displaystyle f^{-1}(\{y\})=\{x\in X\mid f(x)=y\}}
856:
808:
749:
681:
626:
581:
555:
535:
496:
470:
444:
399:
344:
265:
908:For the first definition, it could redirect to
345:{\displaystyle f^{-1}(y)=\{x\in X\mid f(x)=y\}}
864:which happens to equal the right-hand side. –
682:{\displaystyle f^{-1}:Y\to {\mathcal {P}}(X)}
400:{\displaystyle f^{-1}:Y\to {\mathcal {P}}(X)}
8:
845:
839:
689:, and the inverse image generalizes this to
618:
612:
576:
570:
339:
306:
260:
227:
218:
212:
189:I don't agree with your reason for writing
19:
563:is the inverse image of the singleton set
47:
827:
821:
785:
779:
732:
731:
713:
712:
700:
694:
664:
663:
645:
639:
600:
594:
568:
548:
515:
509:
483:
457:
424:
418:
382:
381:
363:
357:
285:
279:
200:
194:
634:. That is, the fiber creates a function
49:
7:
95:This article is within the scope of
38:It is of interest to the following
478:at a time, instead of one element
14:
956:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
951:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
883:
135:This article has been rated as
904:This article should be deleted
878:20:12, 14 September 2018 (UTC)
857:{\displaystyle f^{-1}(\{y\}),}
848:
836:
800:
794:
769:19:31, 14 September 2018 (UTC)
744:
738:
728:
725:
719:
676:
670:
660:
621:
609:
530:
524:
439:
433:
394:
388:
378:
330:
324:
300:
294:
251:
245:
221:
209:
1:
627:{\displaystyle f^{-1}(\{y\})}
109:and see a list of open tasks.
471:{\displaystyle A\subseteq Y}
912:and for the second one, to
173:17:20, 26 August 2017 (UTC)
972:
809:{\displaystyle f^{-1}(y),}
936:17:05, 4 March 2021 (UTC)
899:15:15, 4 April 2019 (UTC)
536:{\displaystyle f^{-1}(y)}
445:{\displaystyle f^{-1}(A)}
134:
67:
46:
914:Fiber product of schemes
141:project's priority scale
98:WikiProject Mathematics
858:
810:
751:
683:
628:
583:
557:
537:
498:
497:{\displaystyle y\in Y}
472:
446:
401:
346:
267:
28:This article is rated
859:
811:
752:
684:
629:
584:
582:{\displaystyle \{y\}}
558:
538:
499:
473:
447:
402:
347:
268:
820:
778:
693:
638:
593:
567:
547:
508:
482:
456:
417:
356:
278:
193:
121:mathematics articles
884:'Naive Set Theory'
854:
806:
747:
679:
624:
579:
553:
533:
494:
468:
442:
397:
342:
263:
158:One or two topics?
90:Mathematics portal
34:content assessment
922:comment added by
556:{\displaystyle y}
155:
154:
151:
150:
147:
146:
963:
938:
863:
861:
860:
855:
835:
834:
815:
813:
812:
807:
793:
792:
756:
754:
753:
748:
737:
736:
718:
717:
708:
707:
688:
686:
685:
680:
669:
668:
653:
652:
633:
631:
630:
625:
608:
607:
588:
586:
585:
580:
562:
560:
559:
554:
542:
540:
539:
534:
523:
522:
503:
501:
500:
495:
477:
475:
474:
469:
451:
449:
448:
443:
432:
431:
406:
404:
403:
398:
387:
386:
371:
370:
351:
349:
348:
343:
293:
292:
272:
270:
269:
264:
208:
207:
188:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
971:
970:
966:
965:
964:
962:
961:
960:
941:
940:
917:
906:
886:
823:
818:
817:
781:
776:
775:
758:
696:
691:
690:
641:
636:
635:
596:
591:
590:
565:
564:
545:
544:
511:
506:
505:
504:. The notation
480:
479:
454:
453:
420:
415:
414:
359:
354:
353:
281:
276:
275:
196:
191:
190:
182:
180:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
969:
967:
959:
958:
953:
943:
942:
905:
902:
885:
882:
881:
880:
853:
850:
847:
844:
841:
838:
833:
830:
826:
805:
802:
799:
796:
791:
788:
784:
746:
743:
740:
735:
730:
727:
724:
721:
716:
711:
706:
703:
699:
678:
675:
672:
667:
662:
659:
656:
651:
648:
644:
623:
620:
617:
614:
611:
606:
603:
599:
578:
575:
572:
552:
532:
529:
526:
521:
518:
514:
493:
490:
487:
467:
464:
461:
441:
438:
435:
430:
427:
423:
409:
396:
393:
390:
385:
380:
377:
374:
369:
366:
362:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
305:
302:
299:
296:
291:
288:
284:
262:
259:
256:
253:
250:
247:
244:
241:
238:
235:
232:
229:
226:
223:
220:
217:
214:
211:
206:
203:
199:
179:
176:
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:
968:
957:
954:
952:
949:
948:
946:
939:
937:
933:
929:
925:
921:
915:
911:
910:Inverse image
903:
901:
900:
896:
892:
879:
875:
871:
867:
866:Deacon Vorbis
851:
842:
831:
828:
824:
803:
797:
789:
786:
782:
773:
772:
771:
770:
766:
762:
741:
722:
709:
704:
701:
697:
673:
657:
654:
649:
646:
642:
615:
604:
601:
597:
573:
550:
527:
519:
516:
512:
491:
488:
485:
465:
462:
459:
436:
428:
425:
421:
413:
412:inverse image
408:
391:
375:
372:
367:
364:
360:
336:
333:
327:
321:
318:
315:
312:
309:
303:
297:
289:
286:
282:
257:
254:
248:
242:
239:
236:
233:
230:
224:
215:
204:
201:
197:
186:
185:Deacon Vorbis
177:
175:
174:
170:
166:
165:Volunteer1234
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:
918:— Preceding
907:
891:Joel Brennan
887:
759:
181:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
761:Howtonotwin
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
945:Categories
932:contribs
920:unsigned
589:, as in
178:Notation
139:on the
924:Kkmilo
874:videos
870:carbon
36:scale.
928:talk
895:talk
765:talk
410:The
169:talk
131:Mid
947::
934:)
930:•
897:)
876:)
872:•
829:−
787:−
767:)
729:→
702:−
661:→
647:−
602:−
517:−
489:∈
463:⊆
426:−
379:→
365:−
319:∣
313:∈
287:−
240:∣
234:∈
202:−
171:)
926:(
893:(
868:(
852:,
849:)
846:}
843:y
840:{
837:(
832:1
825:f
804:,
801:)
798:y
795:(
790:1
783:f
763:(
757:.
745:)
742:X
739:(
734:P
726:)
723:Y
720:(
715:P
710::
705:1
698:f
677:)
674:X
671:(
666:P
658:Y
655::
650:1
643:f
622:)
619:}
616:y
613:{
610:(
605:1
598:f
577:}
574:y
571:{
551:y
531:)
528:y
525:(
520:1
513:f
492:Y
486:y
466:Y
460:A
440:)
437:A
434:(
429:1
422:f
395:)
392:X
389:(
384:P
376:Y
373::
368:1
361:f
340:}
337:y
334:=
331:)
328:x
325:(
322:f
316:X
310:x
307:{
304:=
301:)
298:y
295:(
290:1
283:f
261:}
258:y
255:=
252:)
249:x
246:(
243:f
237:X
231:x
228:{
225:=
222:)
219:}
216:y
213:{
210:(
205:1
198:f
187::
183:@
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.