I have a problem with Sweedler notation, specifically in a example of the lecture notes:

There is an example/exercise that says:

The counity property is:

It shoud be:

Am I right, or they are equivalent?

Advertisements

I have a problem with Sweedler notation, specifically in a example of the lecture notes:

There is an example/exercise that says:

The counity property is:

It shoud be:

Am I right, or they are equivalent?

Advertisements

%d bloggers like this:

There’s some abuse of notation here. It’s the kind of abuse of notation one gets used to, but it can be confusing at first.

(1) First of all, to get this sorted out: the counity property doesn’t just say , but it says a bit more: it says . I assume you know this, but I just wanted to make sure.

(2) Literally an equality like makes no sense, since its left hand side lives in , while its right hand side lives in .

(3) BUT there are some very convenient isomorphisms around between the vector spaces (and even algebras) , and . These isomorphisms allow us to identify these three vector spaces with each other. Under this identification, for instance, a tensor becomes identified with the vector . So the equation can indeed be rewritten as . Although I wouldn’t write it this way…

thanks Darij for your answer! In (1) you’re right, I had this problem with the LaTeX code, so I accidentally skipped the “= c”. Sorry.

My doubt is exactly (3). Given those Isomorphism, it is “convinient” to write that (I think it’s wrong, for the same argument). And using it, could be an abuse of notation. Maybe it’s a problem based on the Sweedler notation.

I hear you, Sebastian. But sometimes we sacrifice precision in order to write cleaner expressions.

For instance, in problem 2(b) in the homework, the left hand side lives in while the right hand side lives in . We could get a more precise statement (or – fair enough – a true statement) if we wrote the left hand side as . But that’s uglier, so we don’t.

Microsoft would not call this “wrong”, it would call this a “feature” of the notation. 🙂 It is something to get used to.

So it’s correct to affirm, for instance, in exercise 2(b) that

?

Under the identification of with , that is correct.