Section (i) Constructing a Meaning of the Concept of Limit: Concept Definition and the Formalism of Mathematical Notation, Concept Image and Visualisation

 

Context: See Extract 7.1

Structure: In this Episode

• the students attempt a reconstruction of the formal definition of limit,

• the tutor and the students explore the students' intuitive conceptions of limit,

• the tutor reconstructs the formal definition of limit,

• the tutor and the students discuss the meaning of the formal definition of limit,

• the tutor and the students discuss the mechanism of the definition through examples

f(x)=x

CD4.1i

CD4.1ii

CD4.1v

• and, finally, they discuss the process of guessing limits, the A-level approach to graphing functions and the algebra of limits.

The Episode: A Factual Account. See Extract 7.1

An Interpretive Account: The Analysis

The Students' Inadequate 'Intuitive Concepts' of Limit. I note that the discussion between the tutor and the students on their conceptions of limit takes place soon after the students have been introduced to the concept and have worked on problem sheet CD4. Therefore this Episode captures in freshness the genesis of their conceptions.

Cathy's hesitation in the beginning signifies quite eloquently the paralysing effect that the request for formalism has on novices at this stage. George's reaction is to fully reproduce in (1) and (2) the definition given in the lectures giving however the impression that he does so in a mechanistic, uncritical way: he completely ignores the conditions under which |f(x)-l|<e holds in (1). Then, as a result of the tutor's objection, he restores the conditions impeccably in (2). That the formalistic integrity of G1 and G2 do not reflect the depth of his understanding, is illustrated in G1 which, on one hand, contains the main implication of the definition (x®aÞ f(x)®l) and, on the other hand, shows a very problematic perception of the nature of e. As it will be repeatedly illustrated in this Chapter translating the ® of the above implication into the quantification of d and e is probably the most cognitively problematic aspect of the definition of limit observed in these students.

Moreover C1-C3 are indications of Cathy's semantic misinterpretation of the notation used by the lecturer. In order to denote the dependence of d on a and e, the lecturer used d(a,e) which Cathy mistook, first, for d being a function of a and e (C1) and, then, for an interval (a,e) of which d is an element. In sum, so far Cathy appears to be completely at sea with the concept. The subsequent shift of Cathy's perception of the form and content of the definition of limit seems remarkable and is presented in the following along with further elaboration on the concept. The conversation starts immediately after the tutor has explained the definition of limit (first verbally, in colloquial terms such as 'approaches' and 'close', then formally in (3), introducing d and e, and graphically). While listening to him, Cathy sounds preoccupied with the definition of d (C4).

In C4 Cathy appears as if she is trying to understand the definition of limit from its negation without realising that her words constitute parts of the negation. C5 is a verbalisation of the definition that seems to reflect a growing image of the limiting process as a machine (input: e, output: d ). George also accentuates this with 'find a d' in G2 as opposed to 'there would be a d' in C5. C6 is more illuminating about Cathy's intentions: she seems to be struggling with the implication

if the limit exists then "e>0 $d>0...

and wants to find out if it is likely at all for the limit to exist and at the same time to be unable to find a d. The tutor (T5) still thinks she is trying to construct the negation but she seems surprised at this interpretation (C7). Her surprise in C7 might also be attributed to the common belief that definitions are undeniable (by 'denying' the tutor possibly refers to negating the categorical proposition contained in the definition). Then in C8 it seems that, for the time, Cathy has resolved her perplexity at the definition of limit. Her 'close enough' verbalisation in C8 is an articulate one and is enthusiastically received by the tutor. However Cathy's enlightenment proves very short-lived.

Led by the tutor through applying the definition of limit on f(x)=x, Cathy appears capable of finding a d on her own (I note that whereas e is given by the tutor as equal to 10-472 she replies 'take d=e' which shows that she has generalised the process of finding d and doesn't need the specificity of 10-472). Moreover both students appear to be beginning to comprehend the mechanism of the definition as seen in their observations on d and its dependence on e and the function.

Cathy's 'Prejudice' for Continuous Functions. C9 is an illustration of a very common 'prejudice' for continuous functions (see Chapter 1, IIIc.ii). Cathy dismisses the notion of taking a limit as redundant because, at this stage, in her concept image of function, all functions are continuous; therefore, when x®a, the values of f tend to f(a). The tutor's example and CD4.1i illustrate two types of discontinuity that render the process of limiting necessary (limx®af(x) exists but is ¹f(a); limx®a+f(x)¹limx®a-f(x) respectively).

Subsequently the students remain silent even though at first Cathy simplifies the definition of CD4.1i and the tutor gives them a graph of the function in CD4.1i. I note here, even though the only evidence is the students' silence, that this shift from participation to passivity might be attributed to their unfamiliarity with piece-wise functions and to the tutor's use of the theorem that limx®af(x) exists if and only if limx®a+f(x)= limx®a-f(x). Despite his tacit use of the theorem, the tutor then changes again to using the definition for a 'proper proof': to prove that the limit does not exist one has to show that, "LÎÂ, L¹limx®a-f(x), i.e.,

if LÎÂ: $e>0 such that: "d>0, 0<|x-a|<dÞ |f(x)-L|>e

Cathy's 'in terms of epsilon' shows puzzlement and her 'does L have to be -1 and 1?' sounds reminiscent of her persistent image of all functions being continuous. She also sounds as if she has missed the argument that the definition must be negated "LÎÂ and thus she is struggling with taking specific values of L. George (G3) in general sounds more at ease with the argument: he can see that for L>1, L then obviously cannot be the limit because there are no values of the function at all around it and he also contributes with a better offer for e.

As the tutor comments immediately after G3, the cognitive puzzlement recorded above is not unanticipated given that the novices are hardly familiar with either the complicated nature of multi-quantified propositions or with the mechanisms of negating such propositions.

C10 and C11 are peculiar statements in which the student appears to have despatched her own statement 'as x gets close enough to 0, f(x) gets close enough to 0' from the definition of limit. With the tutor's reassurance she restores the connection but, even though she declares her intention to find a d, it is George who suggests d=e.

In CD4.1v the tutor is unpleasantly surprised by the students' inability to picture xsin1/x even though George's observation that -1£sinx£1 is a good start. Only when given the full picture, Cathy strikes a good guess for the limit of xsin1/x and a fair, if not successful, attempt at choosing d (even though her d is not the optimal choice, the mechanisms of her choice appear to have improved remarkably: she seems to be solving xsin1/x in terms of x and then suggesting d=x).

The inadequate mastering of some mathematical skills at school appears again in the tutor's comments upon CD4.6. What seems to underlie the students' resignation is

• for George, a weakness to proceed beyond intuitive 'right ideas' and

• for Cathy, a weakness in re-activating school mathematical knowledge, e.g. construction of graphs.

Cathy's comment on the algebra of limits as 'imprecise' might be evidence that the condemnation of school mathematics as unrigorous (which imbues introductory university courses: in these tutorials the students have been repeatedly asked to 'wipe out' their previous knowledge because they have to re-establish all their mathematics axiomatically) has been uncritically interpreted. What the lecturers and the tutors possibly mean by 'imprecise' is the use of the theorems from the algebra of limits without having proved them or without stating their use clearly. The algebra of limits per se is not 'imprecise'. Cathy's words and resignation underline the conflict between school and university mathematical knowledge. As long as the conflict remains unresolved, the novices sometimes withdraw altogether from using their school mathematical knowledge. At the same time this knowledge is taken for granted by tutors or examiners when it is actually inert.

In the same vein the fact that, according to the tutor, the students have not been using inequalities flexibly in their exploration of limits, is an illustration of the inertia to which school mathematical knowledge seems sometimes to have been condemned by the novices. I note here that a great deal of Analysis relies on simple rules such as replacing some quantities with more manageable smaller or greater ones. Some of these inequalities are taught at school. It seems that an imperative need for mathematics teaching at university level is to devise ways with which the conflict outlined above will be more effectively resolved.

A Note on the Tutor's Semantic Interventions in the Students' Writing. The tutor's two interventions in the students' writing ((1), (2), (3), (4) in Extract 7.1) highlight the need to foster in the novices a flair for a creative use of notational as well as lexical language: he replaces the ambiguous d(a, e) with 0<|x-a|<d in George's definition of limit and he adds the words 'suppose' and 'then' in Cathy's proof for CD4.1ii. Especially in the latter case his interventions accentuate the implication contained in the definition of limit and can be seen as part of the tutor's encouragement of his students to use language in order to punctuate and clarify mathematical statements.

Conclusion: In the above, the newly introduced formal definition of the concept of limit has sparked off a multi-layered discussion which revealed the students' difficulties with the d-e mathematical formalism and with assigning meaning to the formal definition; their prejudice for continuous functions and by implication their view of limit as a redundant concept. Moreover their difficulty with finding limits either via the definition or via the algebra of limits was largely attributed to their growing mistrust towards school mathematical knowledge. Using inequalities in order to manipulate quantities, graphing functions, guessing limits and using the algebra of limits are mathematical practices that the students questioned as to their rigour and, hence, as to their acceptability. From a didactical point of view, the need arose to re-establish the legitimacy of school mathematical practices as a way to gain mathematical insight and to introduce formal mathematical language as a way to refine and establish rigorously these insights.

Return to Chapter 7 front page.