Zulip Chat Archive

Stream: new members

Topic: Functions on sets


view this post on Zulip Yakov Pechersky (Jul 13 2020 at 17:03):

What do the '' mean in a function that is applied to a set, a la f '' s := {f x | x \in s}?

view this post on Zulip Jalex Stark (Jul 13 2020 at 17:05):

didn't you just write out the definition of ''? (edit : no, see patrick's comment)

view this post on Zulip Alex J. Best (Jul 13 2020 at 17:05):

'' is set.image

view this post on Zulip Patrick Massot (Jul 13 2020 at 17:06):

What Yakov wrote is not valid syntax

view this post on Zulip Patrick Massot (Jul 13 2020 at 17:06):

Set builder notation simply doesn't work like that

view this post on Zulip Jalex Stark (Jul 13 2020 at 17:06):

#print notation ''

which tells you that '' is infix notation for set.image

view this post on Zulip Yakov Pechersky (Jul 13 2020 at 17:07):

Yes, I was using illegal shorthand. It's notation, got it!


Last updated: May 16 2021 at 21:11 UTC