Difference between revisions of "User:Alec"
From Maths
m |
m |
||
Line 14: | Line 14: | ||
* [[Site projects:Measure theory plan]] - implementation of plan. | * [[Site projects:Measure theory plan]] - implementation of plan. | ||
* [[Site projects:Split set theory into elementary set theory]] - some things classified as "set theory" (like [[set subtraction]]) would be best classified as "elementary set theory". This project endeavorers to do that. | * [[Site projects:Split set theory into elementary set theory]] - some things classified as "set theory" (like [[set subtraction]]) would be best classified as "elementary set theory". This project endeavorers to do that. | ||
+ | |||
+ | ==Notes== | ||
+ | Diagram for [[Characteristic property of the product topology]]: | ||
+ | {| class="wikitable" border="1" | ||
+ | |- | ||
+ | |<center><span style="font-size:1.2em;"><m>\begin{xy} | ||
+ | \xymatrix{ | ||
+ | & & \prod_{\alpha\in I}X_\alpha \ar[dd]^{\pi_b} \\ | ||
+ | & & \\ | ||
+ | Y \ar[uurr]^f \ar[rr]^{f_b} & & X_b | ||
+ | \save | ||
+ | (8.125,6.5)+"3,3"*+{X_a}="x1"; | ||
+ | (-8.125,-6.5)+"3,3"*+{X_c}="x3"; | ||
+ | |||
+ | \ar@{->}^{\pi_a}|(.62){\hole} "x1"; "1,3"; | ||
+ | \ar@{->}_{\pi_c} "x3"; "1,3"; | ||
+ | \ar@{->}^-{f_a}|(.873){\hole} "x1"+<-0.9ex,0.3ex>; "3,1"; | ||
+ | \ar@{->}_{f_c} "x3"; "3,1"; | ||
+ | \restore | ||
+ | |||
+ | } | ||
+ | |||
+ | |||
+ | \end{xy}</m></span></center> | ||
+ | |- | ||
+ | ! Diagram | ||
+ | |} |
Revision as of 01:49, 4 May 2016
Hi, I'm the admin of this site and creator of most of the content. Write a note on my talk page for requests!
Contents
[hide]Noticeboard
As of Monday, 14/Apr/2025 at 15:10:
- All pages marked for refactoring - count: 33
- Grade A refactoring - count: 17
- Grade B refactoring - count: 1
- Refactoring pages pending final review - count: 3
- All stub pages - count: 386
- Grade A* stubs - count: 92
- Grade A stubs - count: 118
- Grade B stubs - count: 44
- Stub pages pending final review - count: 2
- All pages requiring references - count: 83
- Grade A requiring references - count: 19
- Grade B requiring references - count: 10
- Pages requiring references pending final review - count: 0
- Pages requiring proofs - count: 128
- Grade A* requiring proofs - count: 8
- Grade A requiring proofs - count: 30
- Grade B requiring proofs - count: 14
- Grade C requiring proofs - count: 32
Watchdogs
- Warning:There are pages (12) in Category:Refactoring (unknown grade)
- Warning:There are pages (47) in Category:Stub pages of unknown grade
- Warning:There are pages (27) in Category:Pages requiring references of unknown grade
- Warning:There are pages (25) in Category:Pages requiring proofs of unknown grade
Things not to forget
- Ensure a sigma-algebra is at the forefront of the readers' minds when dealing with measures and such @ Alec (talk) 17:45, 8 April 2016 (UTC)
- Isotonic - define a special case of monotonic where the relation is facing the same way Alec (talk) 08:44, 9 April 2016 (UTC)
- Possibly sorted now. See Talk:Monotonic Alec (talk) 21:19, 9 April 2016 (UTC)
- User:Alec/Things not to forget/Order theory notes Alec (talk) 20:48, 9 April 2016 (UTC)
- Greater than or equal to - I made a (non-destructive) mistake in the proof, meaning my result is too concrete (as opposed to abstract). Don't forget to fix Alec (talk) 21:19, 9 April 2016 (UTC)
- Work on Ordered pair (lacks references) and
- Work on Cardinality (incomplete, not marked as stub....)
- Create some notion of urgency with regards to requiring references or proofs. Also maybe tag "low-hanging fruit" (easy proofs) so a new-comer has something they can do.
- Add that new Order Theory book.
- Bounded (ordering)
- The fundamental group of the product of a finite number of topological spaces is the product of the fundamental groups of each
- Investigate the arbitrary and countably infinite cases. I suspect the product of groups drops to the direct sum of the groups.
- An ϵ-δ form of continuity is missing.
- Partial orderings are to total orderings what partial function is to total function. That's where the partial comes from!
- Semi-ring pre-measure vs Pre-measure on a semi-ring Alec (talk) 00:31, 20 August 2016 (UTC)
- "Universal Mapping Property" = Group homomorphism theorem according to McCoy, Algebra: Groups, rings, and other topics - page 69 - Alec (talk) 20:29, 4 October 2016 (UTC)
- User:Alec/Things not to forget/Q9 wreckage
Pages being worked on
- Outer-measure @ Alec (talk) 17:45, 8 April 2016 (UTC)
Current projects
Currently ensuring that all existing measure theory articles are "up to a decent standard" and working on Measure Theory, following Halmos' example (rings).
- Notes:Halmos measure theory skeleton - notes for plan on definitions
- Site projects:Patrolling measure theory - "patrol" being the "decent standard" project.
- Site projects:Measure theory plan - implementation of plan.
- Site projects:Split set theory into elementary set theory - some things classified as "set theory" (like set subtraction) would be best classified as "elementary set theory". This project endeavorers to do that.
Notes
Diagram for Characteristic property of the product topology:
Diagram |
---|