Skip to main content
clarified logic
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

There has been a bunch of work along these lines, and I think the idea has been rediscovered several times. I suggest looking at the papers of Anna Romanowska, who refers to them as "barycentric algebras", to get an idea of what's known. Her book with Smith, "Modes", covers this as well as generalizations where $t$ is not required to be in $[0,1]$. Here are some slides that cover the basics.

It's known that theynot all aren'tof them are representable as vector spaces. For example, if you mush everything in the interior of $[0,1]$ to a single point, your operations are still well-defined, but you can't embed it in a vector space. The Modes book has a structure theorem.

There has been a bunch of work along these lines, and I think the idea has been rediscovered several times. I suggest looking at the papers of Anna Romanowska, who refers to them as "barycentric algebras", to get an idea of what's known. Her book with Smith, "Modes", covers this as well as generalizations where $t$ is not required to be in $[0,1]$. Here are some slides that cover the basics.

It's known that they all aren't representable as vector spaces. For example, if you mush everything in the interior of $[0,1]$ to a single point, your operations are still well-defined, but you can't embed it in a vector space. The Modes book has a structure theorem.

There has been a bunch of work along these lines, and I think the idea has been rediscovered several times. I suggest looking at the papers of Anna Romanowska, who refers to them as "barycentric algebras", to get an idea of what's known. Her book with Smith, "Modes", covers this as well as generalizations where $t$ is not required to be in $[0,1]$. Here are some slides that cover the basics.

It's known that not all of them are representable as vector spaces. For example, if you mush everything in the interior of $[0,1]$ to a single point, your operations are still well-defined, but you can't embed it in a vector space. The Modes book has a structure theorem.

Source Link
arsmath
  • 6.9k
  • 3
  • 38
  • 56

There has been a bunch of work along these lines, and I think the idea has been rediscovered several times. I suggest looking at the papers of Anna Romanowska, who refers to them as "barycentric algebras", to get an idea of what's known. Her book with Smith, "Modes", covers this as well as generalizations where $t$ is not required to be in $[0,1]$. Here are some slides that cover the basics.

It's known that they all aren't representable as vector spaces. For example, if you mush everything in the interior of $[0,1]$ to a single point, your operations are still well-defined, but you can't embed it in a vector space. The Modes book has a structure theorem.