Is There a Flaw in the Symmetry Proof for Homology Classes?

  • Context: Graduate 
  • Thread starter Thread starter BiGyElLoWhAt
  • Start date Start date
  • Tags Tags
    symmetry topology
Click For Summary
SUMMARY

The discussion centers on the symmetry property of homology classes, specifically the relationship A∼B implying B∼A. The user initially struggles with the function definition p(t) = q(1-t) and its application to paths in ℝ². After clarification, it is established that the paths must be defined parametrically, with q(t) = (t, t) and p(t) = (1-t, 1-t) correctly representing the connections between points A (0,0) and B (1,1). This understanding resolves the user's confusion regarding the symmetry proof.

PREREQUISITES
  • Understanding of homology classes and their properties
  • Familiarity with parametric equations in ℝ²
  • Knowledge of continuity and path connectivity in topology
  • Basic grasp of mathematical notation and functions
NEXT STEPS
  • Study the concept of path homotopy in algebraic topology
  • Explore the implications of transitivity in homology classes
  • Learn about the role of parametrization in defining paths
  • Investigate the relationship between homology and fundamental groups
USEFUL FOR

Mathematicians, students of topology, and anyone interested in understanding the properties of homology classes and their applications in algebraic topology.

BiGyElLoWhAt
Gold Member
Messages
1,637
Reaction score
138
The source I'm using is:
http://inperc.com/wiki/index.php?title=Homology_classes
And they say
Symmetry: A∼B⇒B∼A . If path q connects A to B then p connects B to A ; just pick p(t)=q(1−t),∀t .
Transitivity: A∼B , B∼C⇒A∼C . If path q connects A to B and path p connects B to C then there is a path r that connects A to C ; just pick:
##r(t)= \left [ \begin{array}{c}
q(2t) & \text{for} & t∈[0,1/2],\\
p(2t−1) & \text{for} & t∈[1/2,1] \\
\end{array} \right ] ##

and the problem I'm having is with the symmetry part.
Using their function definition, p(t) = q(1-t) for all t:
Let the two points A, and B, in question be (0,0) and (1,1), respectively, connected by the path q(t) = t
Then the function p(t)=q(1-t) should give me a line from (1,1) to (0,0) (B->A), but plugging it in gives me p(t) = q(1-t) = 1-t.
Neither point is on that line. I'm assuming I'm missing something, here, but I don't know what.

Thanks!

*I should add, that it makes sense to me, conceptually, but this example just doesn't seem to work for me, and I want to make sure I have a solid foundation before continuing.
 
Last edited by a moderator:
Physics news on Phys.org
BiGyElLoWhAt said:
and the problem I'm having is with the symmetry part.
Using their function definition, p(t) = q(1-t) for all t:
Let the two points A, and B, in question be (0,0) and (1,1), respectively, connected by the path q(t) = t
Then the function p(t)=q(1-t) should give me a line from (1,1) to (0,0) (B->A), but plugging it in gives me p(t) = q(1-t) = 1-t.
Neither point is on that line. I'm assuming I'm missing something, here, but I don't know what.
Since you take two points in ##\mathbb R^2##, your path should also be a function into ##\mathbb R^2##.
So you have ##q(t)=(t,t)## and then ##p(t)=(1-t,1-t)##
 
  • Like
Likes   Reactions: BiGyElLoWhAt
Oh, wait, I think I get it now.
So the function needs to be on t = [0,1] and [1,0] respectively, so when you plug in 0 and 1 in q(t)=t you get 0 and 1 out, so (0,0) and (1,1) and when you plug in [1,0] into p(t)=1-t you get 1-1 = 0 and 1-0 = 1.

Is this correct?
 
Ok, yea, for some reason I wasn't thinking parametrically D=
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K