Talk:Simple function

Latest comment: 1 year ago by Tensorproduct in topic Countably valued functions - why?

Stardard representation

edit

It would be nice to include a section on the standard representation of simple measurable functions. If I have time I'll get to it.

Goldencako 19:15, 13 January 2011 (UTC)Reply

Confusing sentence

edit

We set   for   and  .

Someone should explain how it is that  . I don't think it is correct.

Timhoooey 00:12, 8 October 2007 (UTC)Reply

That's the definition of  , as indicated by the 'we set'. Algebraist 11:06, 1 June 2008 (UTC)Reply

An explanation of the confusing sentence:

  is the   segment of the partition we are creating on the range (y) of the function f. Since the   segment has to cover the entire remaining range, we extend it from   to   (viz.  . I know approximating   by   seems odd, but everything will work out when we take the limit.


So, we let n approach infinity. Then our estimate improves dramatically. In fact, as n approaches  , the limit of the sequence of functions,  , is equal pointwise to the function f. (  > |f(x0) – f_{n}(x0)| ≥ 0, for each  0) Notice that our   segment now covers just one point:  .

--129.71.204.146 (talk) 19:17, 4 December 2009 (UTC)Reply

Proof that f is increasing

edit

Let  0 0. Then y0 is in   for some k = 1, ...,   or else y0 is in  . Therefore  0  or  0 .

For n+1, y0 is in  --since we have divided the original intervals by two and added another  th--or else y0 is in  . So  0) is in the set { ,  ,  }. Matching the ranges of   and   we see that in all cases,  0  0 . Therefore,   is an increasing function in n.

--129.71.204.146 (talk) 19:17, 4 December 2009 (UTC)Reply

all step functions are simple

edit

Isn't this at odds with the requirement of finite codomain? I would think of the floor function as being a step function but it takes on infinity values. Crasshopper (talk) 21:48, 19 October 2014 (UTC)Reply

Great writing

edit

The opening paragraph of this article is what the rest of math wikipedia should aspire to. Crasshopper (talk) 21:49, 19 October 2014 (UTC)Reply


Reconcile finite with countable number of values?

edit

Can we reconcile or refine the definition of simple function in this article with the defintion given by the Springer online encyclopedia of mathematics, which says a simple function is a measureable function that takes on at most a countable number of values? http://www.encyclopediaofmath.org/index.php/Lebesgue_integral I think the analysis book by Kolmogorov and Fomin uses the same definition as Springer

Tashiro (talk) — Preceding undated comment added 17:50, 10 January 2015 (UTC)Reply

Countably valued functions - why?

edit

Based on WP:ONUS, this generalization seems obvious and therefore does not improve the article: of course simple functions may be generalized to have countable ranges. The article on Bochner measurable functions does a good-enough job briefly introducing countably valued functions in the intro section, so linking to this article is unhelpful. Linking to the BMF in "See also" section would be more appropriate. StrokeOfMidnight (talk) 01:53, 30 January 2023 (UTC)Reply

@StrokeOfMidnight: the point is, it's not about being an obvious generalization but rather about what the term countably valued function means. For the reader it's certainly not obvious that this term is explained in the article Bochner measurable. And I don't think the article Bochner measurable does a good job because it uses the term before it explains what it is. This is bad style.--Tensorproduct (talk) 08:20, 2 February 2023 (UTC)Reply

This term is not essential even for the definition of BMF, for which it's intended. Mentioning "countably-valued" just before the formula   can be skipped without affecting clarity. Therefore the term is not important enough to be discussed in the current article. StrokeOfMidnight (talk) 02:11, 3 February 2023 (UTC)Reply

It's not important whether the term is essential or not. I mean this is also not for us to decide and one can use the term also for other things than the definition of Bochner measurability. How about a compromis, that in the article simple function it will be mentioned shortly in one sentence, that the function extended to countably values is called countably valued function? I am not sure I understand, why you are so much against it.--Tensorproduct (talk) 08:31, 3 February 2023 (UTC)Reply
@StrokeOfMidnight: I didn't get any answer.--Tensorproduct (talk) 18:26, 16 February 2023 (UTC)Reply

Gyus? Have you heard about the policies WP:RS/WP:CITE? The article and the disputed issue are unverifiable by an independent wikipedian. Lokys dar Vienas (talk) 02:23, 23 February 2023 (UTC)Reply

If the issue is only a source, I can provide one. But for StrokeOfMidnight that is not the issue, the user just doesn't want the concept to be on Wikipedia because "it is obvious". I tried to discuss, but I waited 3 weeks and didn't get an answer.--Tensorproduct (talk) 08:51, 23 February 2023 (UTC)Reply
It does not matter whether it is obvious or not. It is not supplied by reference which relates the two concepts. We can base and judge article text only by the published reliable sources. I strongly recommend you to carefully read and understand the policies I mentioned above. Without references you are wasting other wikipedians' time. Lokys dar Vienas (talk) 18:13, 23 February 2023 (UTC)Reply
Go on and delete it, I don't care anymore and have no interest to look for a source anymore, if you talk to me like that. ("..waste other Wikipedians time.."). I also waste a lot of time.--Tensorproduct (talk) 19:14, 23 February 2023 (UTC)Reply
I still want the term too be displayed. It's an important term--Tensorproduct (talk) 01:27, 4 March 2023 (UTC)Reply