Talk:Image (mathematics)

message: The epsilon signs don't show up for me (show up as boxes)
:You need a better browser (or default font). We should probably include a link to  on this page. -- Fropuff 21:45, 8 December 2005 (UTC)
thread_title: Untitled

message: Using the set names given at the beginning of this articles, do all elements of the set Y ordered with all elements of the set X make up the graph of the function f? --Abdull 15:46, 31 May 2006 (UTC)
replies: text: I'm not sure what you mean by "all elements of the set Y ordered with all elements of the set X". Do you mean X x Y, that is the set of all ordered pairs (x, y) such that x is an element of X, and y is an element of Y? IIn any case, that is not the graph of f. The graph of f is the set of all pairs (x, f(x)) such that x is an element of the domain of f. Thus the graph of f is a subset of X x Y, (in fact it is a subset of X x f[X]). Paul August ☎ 16:08, 31 May 2006 (UTC)
thread_title:  Image and graph 

message: I think that an illustration would be very helpful in describing this concept. Below is an image that I made for this article. I used terminology not used in the article however. Silly Rabbit, could you tell me what variables you want me to replace in the image. Thanks--Cronholm144 05:18, 31 May 2007 (UTC)
thread_title:  Image for image 

message: Does anyone know of any references for the identities listed in the "consequences" section?  Deriving the first four identities is an exercise in a book I'm reading, and I'm able to correctly demonstrate all but the second.  I can only show that it's an equality, but that's apparently wrong.  If anyone knows where I can find its derivation, please update the references section, or include the derivation here in the talk section.  Thanks. --Paul 16:13, 11 June 2007 (UTC)
replies: text: Those identities are well known in universal algebra and category theory.  I had them in lecture notes for discrete math in the 1970's and they appeared in some discrete math book that gave my lecture notes credit.  I will try to find some reference.SixWingedSeraph (talk) 02:17, 18 April 2009 (UTC)
thread_title:  references for consequences 

message: It seems that the inverse image of a function and the image of the inverse of a function is written the same way. Very confusing.
I have rewritten the introduction to mention inverse image as well as image.  I changed the sentence "when taking each element of the set, successively, as the function's argument" -- it makes the image sound like it is defined over time! SixWingedSeraph (talk) 15:46, 15 April 2009 (UTC)
thread_title:  inverse and image  

message: "The fibres f −1({a}) are concentric circles about the origin, the origin, and the empty set, depending on whether a>0, a=0, or a<0, respectively."
Is this intentional? If so, it should be simplified to a>=0 and a<0.
LokiClock (talk) 12:31, 20 May 2009 (UTC)
thread_title:  Examples: The Origin, The Origin 

message: Image (set) is briefer, which aids navigation and editing. Considering browser links will show a redirect's title & not its endpoint, calling the article by this name is a good way to remind people what an image is without diverting them. ᛭ LokiClock (talk) 09:11, 20 August 2011 (UTC)
replies: text: Set is the word in the English dictionary with the most meanings. So no I don't think this is a good idea. Dmcq (talk) 11:43, 20 August 2011 (UTC)
replies: text:  Where there are named sets of the other kinds, they would more logically be categorized under a different name. There are no current conflicts. With image set, it wouldn't make sense to write image (set) for image set, because "image" is not the name of the set when you're talking about a set of images. ᛭ LokiClock (talk) 12:40, 20 August 2011 (UTC)
replies: text: I think it would just lead to problems. How about 'Image of a function' like Domain of a function if you really want to change the name for some reason? I don't understand your original rationale about redirects and your second rational has me wondering too. Article names aren't to remind anybody of anything, their purpose is to help them find things. But if you'd like to change to 'Image of a function' I've no objections. Dmcq (talk) 13:02, 20 August 2011 (UTC)
replies: text:  I would accept Image of a function. Image (mathematics) is used throughout Wikipedia to distinguish the image in question from a graphical impression. Image (set) could be used within mathematics articles to recall the definition of object whose name is metaphorical. This would be a good policy for articles where the terminology is not taken for granted, because people don't have to stop mid-sentence to look at what an image is again. Image of a function may be better than Image (set) for this purpose, except in most contexts I see it explicit that it is an image of a function, but its relationship to the function is only captured by the fact that it's a set. ⁂ Policy: Both are justified under WP:TITLE for recognizability & precision, & WP:R for more specific forms of names. Image of a function provides nothing over Image (mathematics) in conciseness, but it is consistent with Domain of a function. ᛭ LokiClock (talk) 21:43, 20 August 2011 (UTC)
replies: text: Links to articles with a bracket in the title like that normally are piped so the thing in brackets isn't visible. There is no need for explanations to be stuck into titles, besides which being a set isn't a particularly special thing in mathematics. Dmcq (talk) 22:48, 20 August 2011 (UTC)
replies: text:  This may be worth bringing to a policy discussion. The things in the brackets are visible in browsers out of the inline text. My wishful thinking was that the linking article title carry enough information to reward the behavior I see in Wikipedia users, which is hovering over links to see if the title will disambiguate it. This is an obvious reaction to links like "There is no clear boundary between West and East Old Norse." This use is available for articles with names provided for otherwise: Hoy is given the choice between writing Norse and Norse, taking the latter. Yes, being a set isn't all that special. Image (output) would do the trick, though I didn't think of it before. ᛭ LokiClock (talk) 23:13, 20 August 2011 (UTC)
replies: text: We should do what people want first and foremost and put in easily recognised names for the topic. There is no bit of WP:Article titles or WP:Disambiguation about explaining things in the title for somebody who is halfway through reading an article. Any such explanation if needed is up to the person writig the article. If you want some facility using hovering rather than clicking on rticle this is not the place - propose it at one of the village pumps like WP:VPR. Dmcq (talk) 23:24, 20 August 2011 (UTC)
replies: text:  Yes, thank you. ᛭ LokiClock (talk) 00:16, 21 August 2011 (UTC)

text:  Wikipedia:Village pump (proposals)#Redirects containing topics when possible ᛭ LokiClock (talk) 02:38, 21 August 2011 (UTC)
thread_title:  Image (set): Proposed redirect 

message: Should it be noted that the Image is sometimes referred to as the 'Image set', that is how it is referred in on the course I'm doing.  Also, 'Image set' could redirect to this page? Jonpatterns (talk) 13:13, 7 April 2014 (UTC)
thread_title:  Image set 

message: The article says:
Some texts refer to the image of f as the range of f, but this usage should be avoided because the word "range" is also commonly used to mean the codomain of f.
This looks wrong in multiple ways.  First of all, even middle school text distinguish range from codomain in the US. Is it different elsewhere? Second of all, "the image of f" is the relatively rare phrase that should be avoided, whereas the range of f reliably refers to the image of the domain under f.  (See ProofWiki for an example of standard usage for functions/mappings.) This section appears to be promoting a somewhat nonstandard and non-referenced usage of the term range as a preferred usage.
Cerberus (talk) 11:15, 4 August 2015 (UTC)
thread_title:  Notation for image and inverse image: Other terminology 

message: Substituted at 02:14, 5 May 2016 (UTC)
thread_title: Assessment comment

message: Inspired by 's recent edits, I suggest the following order for the lead:
* Image and preimage of a single element,
* image and preimage of a set (subset of the domain and range, respectively),
* image and preimage of the function (preimage is rarely, or even never, used here; I'm not sure if we should mention it). 
After that, the paragraph about generalization to binary relations should appear. - Jochen Burghardt (talk) 05:34, 12 April 2024 (UTC)
replies: text: I'm ok with the new ordering. I emphatically think that we should make mention preimage of a function though, and explicitly point out that it "is rarely, or even never, used here". Epachamo (talk) 16:40, 12 April 2024 (UTC)
replies: text:  - including your mention. - Jochen Burghardt (talk) 15:22, 13 April 2024 (UTC)
thread_title:  Lead