Here is the problem:

I want to prove the dimension axiom in (a). My professor gave me the dimension axiom for reduced cohomology as follows:

$$widetilde{H}^k(S^n ; mathbb{Z}) = mathbb{Z}, text{ if } k = n text{ and } widetilde{H}^k(S^n ; mathbb{Z})= 0 text{ if } k neq n. $$

And the dimension axiom for homology as follows:

$${H}_n(pt.) = 0, text{ if } n geq 1 text{ and } {H}_n(pt.)= mathbb{Z} text{ if } n = 0. $$

Could anyone explain to me how I can use those 2 definitions to prove the required, please?

Mathematics Asked on January 1, 2021

1 AnswersI don't think the "dimension axiom" you're citing from your professor is right. Maybe he was talking about the dimension axiom and gave you that result as a consequence of the axiom, but it certainly isn't equivalent to any form of the dimension axiom I've seen. As pointed out in the comments, this axiom isn't restrictive enough to specify the cohomology of spaces built out of suspensions, etc. The one you give for homology is correct, and the natural analog of that axiom for cohomology is $H^n(text{pt}) = 0$ for $n>0$ and $H^0(text{pt})$ is your coefficient group.

In your case, your coefficient group will be the underlying group of $R$. Then since $H_n$ is an ordinary homology theory, it satisfies the dimension axiom, so $H_n(text{pt}) = 0$ for $n>0$. Then $h^n(text{pt}) = text{Hom}(0,R) = 0$ for $n>0$. Now, $H_0(text{pt})cong R$, so $h^0(text{pt})congtext{Hom}(R,R)cong R$, as desired.

note: Some of your confusion might be coming from mixing up the definitions of "reduced" theories vs. "ordinary" theories vs. "generalized" theories. These all have slightly different definitions. For example, reduced theories have $widetilde{H}_n(text{pt}) = 0$ for $ngeq0$, not just $n>0$. Ordinary theories satisfy all of the usual Eilenberg-Steenrod axioms, and generalized theories don't satisfy the dimension axiom at all, meaning contractible spaces will have nontrivial homology in positive dimension in these theories.

Correct answer by jben2021 on January 1, 2021

1 Asked on December 21, 2021 by mark-viola

euler mascheroni constant improper integrals real analysis special functions

2 Asked on December 21, 2021

algebraic geometry calculus convergence divergence integration

2 Asked on December 21, 2021

coprime elementary number theory number theory pythagorean triples

1 Asked on December 21, 2021 by fdp

2 Asked on December 21, 2021

1 Asked on December 21, 2021 by user521337

cohen macaulay commutative algebra gorenstein homological algebra local cohomology

1 Asked on December 21, 2021 by yoshimi-saito

3 Asked on December 21, 2021

3 Asked on December 21, 2021

0 Asked on December 21, 2021 by tio-miserias

algebraic geometry optimization polynomials real algebraic geometry sum of squares method

1 Asked on December 21, 2021

0 Asked on December 21, 2021 by chris-kuo

algebraic topology category theory homological algebra sheaf theory

1 Asked on December 21, 2021

eigenvalues eigenvectors linear algebra matrices numerical linear algebra spectral radius

1 Asked on December 21, 2021 by james-eade

0 Asked on December 21, 2021

2 Asked on December 21, 2021 by user792898

Get help from others!

Recent Answers

- eric_kernfeld on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- Philipp on How do i draw a ray in unity
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- kjetil b halvorsen on How to test consistency of responses?

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

© 2022 AnswerBun.com. All rights reserved.