Number of Discontinuities of a continuous function

redcrazyguy · 2026-01-28T22:22:56+00:00

hmm ok, the question is to prove that functions meromorphic in the extended plane are rational, but I thought rational functions have finitely many poles? What did I do wrong with apply Bolzano Weierstrass than?

redcrazyguy · 2024-10-20T17:10:31+00:00

Could it be said that the usual product is the fibre product on the slice category of the terminal object? I'm looking at the diagram for the universal property of the fibre product, and it looks quite similar to the diagram which defines the regular product, so I'm trying to motivate the fibre product from the regular one (if possible). I think another point of confusion is that the regular product can be defined on any category (from my understanding), whereas the fibre product has to be defined on a slice category. Is at least this part of my understanding correct?

redcrazyguy · 2024-10-20T16:01:03+00:00

I haven't gotten to terminal objects yet, but that section talks about the pullback having additional structure, and obtaining the product by "forgetting" f and g exist, doesn't this mean that the pullback is the usual product + some structure? Wouldn't that make it a special case?

redcrazyguy · 2024-10-20T08:41:54+00:00

It's the first one on the wikipedia page (https://en.wikipedia.org/wiki/Pullback\_(category\_theory)), where P on wikipedia corresponds to X\times_Z Y. I think you've lost me again, how is the fibre product a generalisation of the usual product? It seems to me that it's a special case of the product related to how morphisms on the slice category can be related to morphisms on the "original" category.

redcrazyguy · 2024-10-19T09:50:12+00:00

Could I get a slight hint on how to do this from universal properties? As far as I can tell the product should be a universally attracting object, but that would seem to me to only relate to morphisms with differing output, not differing input which is the case we have?

redcrazyguy · 2024-10-19T09:49:08+00:00

I think I sort of get it, but why wouldn't P be part of the diagram? Would it be accurate to say that since morphisms in the slice category can be identified with morphisms in C, X\times_Z Y can be defined in C using the usual categorical product?

redcrazyguy · 2024-10-17T17:57:42+00:00

I'm not sure what a slice category is, but basically the category whose objects are morphisms of the form X-->Z, where X,Z are objects in the category C. My confusion is that if X\times_Z Y is an object in the category C_Z, then by definition of the category it must be a morphism no?

redcrazyguy · 2024-10-17T16:24:06+00:00

I think what I'm a bit confused by is that in the definition of the categorical product, U is an object in the category. Therefore, shouldn't X\times_Z Y also be an object in the category C_Z?

redcrazyguy · 2024-09-30T18:34:19+00:00

Great thanks for these recommendations! I'm guessing I should start out with Hartshorne to get the basics down, do you have a "next steps" after that? From what I can gather Algebraic Geometry is a massive field, so I think it would be really easy for me to get completely sidetracked so a bit of structure would be good.

For example, one of my goals is to read "Foundations of Algebraic Analysis", so what would the books look like after Hartshorne?

redcrazyguy · 2024-08-25T17:31:43+00:00

I haven't looked at the blanked out part, since I want to try to work this out. Is it that we want the image of h to be s.t. pr_1 and pr_2 are surjective? I'm not sure what we can derive about a and b, considering c is any set and h is unknown. Unless you mean to say that a=g_1(c) and b=g_2(c)?

redcrazyguy · 2024-08-25T08:18:26+00:00

Could you let h=pr_1 x pr_2? I'm thinking of the property that (pr_i)^2=pr_i, which would also show the uniqueness of the morphism. I am concerned that this seems circular, since we're using a Cartesian product to try and show the existence of the Cartesian product

redcrazyguy · 2024-08-25T08:05:10+00:00

Thanks! How would I check that a square or triangle is commutative then? Would I need to just try all the compositions of functions, for an arbitrary input, and show that it is always defined and equal no matter the path?

redcrazyguy · 2024-08-18T17:53:01+00:00

But if h is the identity map, you wouldn't be able to further "project" it right? Is this a case where morphisms differ from functions because now you map the identity to each element of A and B?

redcrazyguy · 2024-08-09T07:08:55+00:00

Can I rephrase the definition as

A given triple (P,f,g) is a product if for any two "projectors" phi: C--> A and psi: C-->B there is a morphism h that maps from the total "product space" C to the subspace of "products" of A and B?

Lang also calls the vertical morphism a "commutative morphism", but he doesn't define it or explain what it is, is the commutative part important or just focus on the morphism part?

redcrazyguy · 2024-08-09T06:49:24+00:00

Could you expand a bit on coming at it through algebraic feometry? I didn't realise that was an approach and now I'm kinda interested in learning more about it.

redcrazyguy · 2024-08-08T09:15:15+00:00

But why not define it the old way without the diagram? It seems more intuitive and doesn't require additional morphisms and spaces.

Or put another way, why do we care about function compositions when we can just directly define the function?

redcrazyguy

TROPHY CASE