Jump to content

Looking for an algebra of vertices...


phaedo

Recommended Posts

Hello,

 

My knowledge of abstract algebra beyond linear vector spaces is very limited. My problem is inspired from the (not very well-known) triangular inequality between angles of a tetrahedron (see for example http://convexoptimization.com/wikimization/index.php/Fifth_Property_of_the_Euclidean_Metric):

[latex]

\left| \widehat{x,y}-\widehat{y,z} \right| \leq \widehat{x,z}\leq\widehat{x,y}+\widehat{y,z}

[/latex]

where x,y,z are three vectors and [latex]\widehat{x,y}[/latex] is the angle formed by the vectors x,y.

 

I am looking for a way to abstract this into some algebra of vertices. Say a vertex is the tuple [x,y], we would need to define some "addition" operator in a transitive way so that [x,y]+[y,z] = [x,z], and we would define a norm as [latex]\| {[x,y]} \| = \widehat{x,y}[/latex]. The triangular inequality above would then read in the familiar way:

[latex]

\left| \| [x,y] \| - \| [y,z] \| \right| \leq \| [x,y] + [y,z] \| \leq \| [x,y] \| + \| [y,z] \|

[/latex]

 

Does this look familiar to anyone?

 

Thanks in advance for any pointers.

 

p.

Link to comment
Share on other sites

[x,y] +[y,z] = [x,z] reminds me of the partial multiplication found in groupoids. You want [x,y]+ [y', z] = [x,z] only if y = y' and leave it undefined otherwise?

 

Thanks for pointing groupoids out. It would be nice to find a generalization of addition for any [x, y] + [z, u], but it's not required.

 

One difficulty is that the norm I am considering here is bounded... Not sure if we can make sense of this.

Link to comment
Share on other sites

One difficulty is that the norm I am considering here is bounded... Not sure if we can make sense of this.

Why is having a bounded norm a problem?

 

I do not see that being bounded or not is part of the definition of a norm. You should check that the norm you define really is a norm, that is satisfies the properties you need it to satisfy.

 

i) Absolute homogeneity

ii) The triangle inequality

iii) Separates points (norm of the zero vector is zero)

Link to comment
Share on other sites

  • 2 months later...

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.