PME 35 Metonomies in mathematical reasoning 2011

advertisement
Metonymies and Object Formation
Vector Space Theory
Introduction
Work on metonymy mainly focuses on them as literary devices, rather than cognitive constructs,
that are used to encode information. Presmeg (1998;1997) and Lakoff and Johnson (2000)
however view metaphor and metonymy as cognitive structures. The act of using one object to
stand for another is considered as functioning with metaphors or/and metonymies. Even though
they both are used to represent objects and concepts, they do differ in that a metaphor links one
domain of experience with another domain, and gives meaning from similarities while a
metonymy uses one element or relevant attribute of a class to stand for some part of the same
class via association. Presmeg (1998) states that “metaphors, metonymies, and the imagery and
symbolism which accompany them are essential components in the representation of
mathematical constructs for an individual.” She further supports her argument by explaining that
these entities may help learners in making sense of the construct accompanied by ambiguities
inherent in its representations. In fact, metaphors and metonymies are conceptual entities that
may influence one’s reasoning of an abstract mathematics concept. They may aid in making
sense of symbolism apparent in advanced abstract concepts, furthermore they may support a
process of meaningful knowledge formation (Presmeg, 1998; 1997).
Presmeg (1998;1997) considers two types of metonymies. One of which, namely metonymy
proper, is defined as “a figure by which one word is put for another on the account of some
actual relation between the things signified” (Webster). An example of this kind is “We studied
Gauss.” Here, the word “Gauss” is used to indicate Gauss’ work. Moreover, mathematical
symbols are ones that are put for various mathematical entities such as number families. The
symbol “x” for example can represent natural numbers even though the symbol x and the
numbers are two unrelated objects. Another example of a metonymy proper may be a geometric
image of a plane which may represent mathematical attributes of the linear algebra concept linear
independence. The attributes of the mathematical object recognized from the image however are
subject to the individual’s interpretation of the image. The geometric image may in fact be both a
metaphor and a metonymy. On the one hand, an individual may consider the image as having
similarities with various aspects of linear independence. On the other hand, after the initial
consideration of the image as a metaphor, the same individual may begin considering the image
only as a symbol that is put for the concept itself.
Second type of metonymy is considered as figure of speech. In this type, a part is used to
represent the whole or vice versa (Presmeg, 1998). An example of this kind may come from the
sentence, “I’ve got a roof over my head.” Here, the part “roof” stands for the whole “a house.” In
mathematics, an illustration of a circle taken to represent the class of all circles can be considered
as the metonymy of this kind. Presmeg (1997) however argues that this example may go beyond
the figure of speech type to metonymy proper for the signifier may not be an element of the class
represented. In other words, because the elements of classes are mental constructs, and an act of
interpretation by an individual is involved in setting up the metonymy, the individual may use
the illustration to consider a class of circles that are not closely related to the illustration. Hence,
the illustration may become an example of a metonymy proper.
Studies on metonymy have mainly been at the pre-secondary level documenting the role and
influence of metonymy on reasoning and object construction. There have not been very many
studies documenting the role and use of metonymies at the college especially at the advanced
level topics. Linear algebra is one of the advanced mathematics courses with high degree of
abstraction and symbolism, which require learners to be able to work with abstract
representations. Our worked showed frequent use of metonymic reasoning to make sense of
these representations. In this paper, we discuss a linear algebra student’s reasoning with
metonymies and his attempt to use these metonymies to construct another metonymy, as a result
a new mathematical object.
Various theories such as APOS (Oktac, Maria….) and THE CK¢ THEORY1 BY BALACHEFF
by Marraci???????? are used in interpreting and understanding conception of linear algebra. We
use the framework of metonomical reasoning in our interpretation of student work in our study
of cognitive processes involved in the reasoning and formation of linear algebra concepts…..
We concur with Presmeg (1997) that it is when metonymies change their contextual signification
to the internal relations that meaningful reasoning may become possible.????
Method
The data discussed in the paper came from our work with two groups of students enrolled in
the three sections of a matrix algebra course at a Southwest University in USA—one traditional
and the other implementing an interactive web-module that provided the geometric
representations of abstract linear algebra concepts. Students volunteered for a set of
interviews conducted during spring 2009. The student whose interview responses discussed in
this paper was enrolled in a module section. We use an alphanumeric name “SA21,” to refer to
him throughout the paper. He is an Hispanic-American student majoring in mathematics with a
minor in secondary education. He was interviewed toward the end of April, 2009. Interviews
began with a set of pre-determined questions on basic vector space concepts such as linear
independence, span and spanning set. These questions were structured based on the learning
difficulties reported in the literature (XXXX, 2009; Sierpinska, 2000). During the interviews,
interviewer asked new questions in an attempt to extract more information and further tap
into students’ thought processes. A qualitative approach, namely the constant comparison
method (Glaser, 1992), is used to analyze SA21’s responses.
Get Figure at minute 16.32
Below, we will discuss SA21s metonymic use in his reasoning and how they shape his knowledge.
Existing Metonymies
Linear independence
New Object
Matrix ----set
Identity……>independent vectors
Solution
xi …………..> vector
known values assigned to vector corresponding to xi
linear combination
Values for linear combination
Figure 1. Metonymies displayed in reasoning.
Results and Discussion
Existing Metonymies
Responses provided here came from student responses to one question “Define the linear
independence of a set of vectors.” Interview began student sharing his definition of linear independence,
and continued with student responding to new questions. What readers will be observing in the results
section as they read the excerpts is SA21’s attempt to understand how two seemingly dissimilar (to the
student) aspects of the same concepts may be related. SA21 shared two main ideas for the linear
independence/dependence of a set of vectors. One was his notion of linear combination. With this
notion, SA21 was able to identify linearly dependent sets provided that he could obtain a linear
combination resulting in one of the vectors of the set. The second idea he held throughout the
interview, which appeared to be independent of the first idea, is the identity form of a matrix. He
appeared to have represented vectors with a matrix and searched for an identity form as a result of
Gauss-Jordan elimination process. He would identify linearly independent sets if matrix is reduced to an
identity matrix, and linearly dependent if it is not. He was also able to write parametric representations
of solutions to a vector equation. He however was not able to explain how the parametric
representation of solutions would result in linear combinations for vectors of sets. He was prompted
continuously by the interviewer to discuss his understanding of this connection. While attempting to
explain the potential relation between the two ideas, toward the end of the interview, he began to
apply his metonymies, and came up with a new notion of how they may be related. We believe SA21
was, at the start of the interview, unaware of any connections between the two ideas, but toward the
end began to consider potentiality due to interviewer’s persistent prompt for him to think about them,
leading to the formation of new mathematical object. SA21 regularly used metonymies to reason
throughout the interview. In this paper we will discuss the metonymies he used and how he reasoned
using them.
Before discussing SA21’s responses, let’s provide one of the examples student gave during the interview.
After sharing his notion of a linear independence, he was asked to give an example. He gave the set of
vectors seen in figure 1 below and proceeded to explaining how he identified the set as a linearly
1
1
 2
 3
 4
5 
dependent set: {u   , v   , w   } He considered a matrix whose columns were formed by
the vectors of the set. After applied Gauss-Jordan process, he circled the identity form the first two
columns formed writing both parametric and vector representation of solutions. Next, after asked to
provide a linear combination specifically using his solutions????, using the identity form and a relation
observed among the columns of the matrix (third column being the result of the sum of 2 times the first
and the second columns), he wrote a linear combination of the first two vectors u and v resulting in the
third vector, w as seen in figure 1 upper right corner. Some of the responses provided below are
revealing SA21’s attempt to explain how one may obtain a linear combination among vectors of a set
originating from parametric or vector solution forms. For clarity, let’s obtain a linear combination among
u, v and w using SA21’s parametric representation seen in figure 1. Given the parametric representation
of solution in figure 1 bottom right corner, one solution is (-2, -1, 1). That is, this solution satisfies the
vector equation x1u+x2v+x3w=0 for the vector u, v and w given in figure 1. Thus, -2u-v+w=0. Solving the
equation for w gives a linear combination, w=2u+v. Readers are asked to pay attention especially to the
meanings SA21 attributes to symbols xi and ai throughout the interview. One notices that we in our
work above considered xis as symbols for the unknowns of the vector equation, and a solution as the
values for the unknowns. This allowed us to use the values of xi and the equation to write the vector w
as a linear combination of the vectors u and v.
Figure 2. View from student work during the interview.
SA21’s interview indicates a frequent use of metonomies in his reasoning, further these metonomies
appear to dominate his knowledge of linear independence. Student SA21 was asked to share his
definition and understanding of linear independence. SA21’s initial response indicates that he may have
been using the term “linear independence” to stand for linear combination ideas.
SA21: Okay, …..I think of linear independence so… I think we have a set of vectors , so I’ll just write… like
you have u1, u2, so we can go all the way to however many we want. Then I… so, I know that they are
independent if… suppose we have, so we have a1 which is like some real number… times an and we’ll just
keep on going…
SA21: So, I think that’s kind of close to what you wanted. Since this is the key component. (Student wrote
down: A set of vectors: {u1, u2,…, un}; a1u1+a2u2+…+anun; a1,a2,…,an are real numbers and identifies
a1u1+a2u2+…+anun as the key component).
Even though later in the interview he states that his initial description was for linear combination, not
for linear independence, his responses throughout the interview however indicates that the metonomic
use displayed in his initial description of linear independence is a more dominant factor in his
reasoning.
SA21 was regularly prompted to provide elaboration. While elaborating, SA21 integrates other
metonomies in his reasoning. His metonomic use of “matrix” standing for “set” for example fits well
with his overall notion of linear combination ideas. He consistently regards matrices as representing
vectors of sets, and attempts to find linear combinations among the columns of matrices. This can be
observed in the excerpt below. When given a set SA21 goes straight to a matrix whose columns are the
vectors of the set.
SA21: So, then here, so I would… to determine independence or dependence I know…so I just build my coefficient
matrix… (student comes up with five vectors u1=[2;3], u2=[1;1], u3=[3;4], u4=[5;6], and u5=[9;10]) [matrix->set,
columns->vectors]
Once he runs a process called Gauss-Jordan Elumination (reference????), he points to the final matrix product and
states that “it is linearly dependent.” When he is asked what he means by “it.” He states:
SA21: Uh… for the set? I would s… I don’t know if I would say for the set or for the matrix… [matrix->set]
SA21 continues to consider matrices as sets throughout the interview. As seen in the excerpt below, while searching
for linear combinations among columns of matrices, he integrates another metonomic use of “identity form”
representing “lndependent vectors.” He focuses on identity form among columns of matrices to eliminate some of
the columns (mainly the earlier columns) as independent vectors and tries to form linear combinations for the
remaining columns.
SA21: Yeah, I just wanna focus on these 2 (student points at the first 2 columns in the matrix)… 'cause I'm pretty
sure once I get the identity here there's not gonna be much I can do here…(student points at the last 3 columns in
the matrix) [matrix->set, columns->vectors, identity->independence]
SA21 …….., I was to… we have identity here (student points at the first 2 columns of the matrix [1,0;0,1]),
but this is not (student points at the last column of the matrix [2;1]) and this means that this is dependent
on this (student states that the last column of the matrix is dependent on the first 2 columns of the
matrix)… so I like to write what we have, so I'll write x1… I like to use x's… equals minus x2… x3… x2 equals
minus x3… x3 is our independent variable (student writes x1=-2x3, x2=-x3, x3=x3) So then, from here I can
just see that we have a dependent… linearly dependent set… (ai are different than xis??? As what they
represent???)
The second excerpt above introduces another metonomy, “xis” set fort as “vectors.” This appears to be
the most dominant metonomy in his knowledge. SA21 infact seems to attribute symbols fixed meanings
and reason with these meanings throughout the interview. Initially, SA21 considers ai as symbols
representing known values in a linear combination but later reserves them for unknowns and chooses
the symbols xi as standing for known values in a linear combination. He fails to connect xi and ai
throughout the interview. This may be attributed to his metonomic use of each symbol for different
meanings. Later on in the interviews xi begins to stand for two different objects; as vectors and as
known values for each vector xi represents. This does not appear to cause any conflict in his knowledge.
In the excerpt below, SA21 formed a matrix using a set of vectors and labeled each column as x1, x2, x3
similar to
. It is clear from his responses below that student is using x1, x2, x3 to
represent three vectors of the set.
73.SA21: Now, if I was to write, like how I did that last one [the one with three vectors using columns of
matrix????] so you have… I think I have… five vec… so I have x1, x2… [marked each column on a coefficient
matrix with x1, x2, x3] now this is where I would probably get a little tricky… [variables->vectors???check the
video]
SA21: I’m thinking… so I’m already saying that I think I’m saying that my x1 and x2 are independent vectors…
and that x sub… [variables->vectors]
SA21: Well, the way I can think about it is I know we would rewrite this as x1, x2, this is gonna equal some x3…
and this is gonna be -2, -1, and 1… so then I just see that x3 (considering x3 as a vector) or our third vector
(pointing at [-2,,-1,1]) will be dependent that's kinda like how I think about it. (student rewrites the vector
[x1;x2;x3] equal to x3[-2;-1;1]).
When SA21 was prompted for further explanation on potential connection between a vector equation
and xi values he obtained, he appeared to begin thinking about roles of the symbols ai and xi but still not
sure if they are the same. One can observe clearly on his responses below his metonomic usage of the
symbols and how each appears to have distinct objects associated with them; ai unknowns vs. xi known
values.
33.SA21: Which is this… we know, and these are unknowns (student points at statement
a1u1+a2u2+…+anun=0, particularly to a1u1, and refers to a1 as the unknown part ). So I want to say
that…could it… I think that a1 and this [pointing to x1= x2= x3=] should be the same, is that what you are
trying to say? [ai vs. xi???]
It is clear with his statement “is that what you are trying to say?” that up to that point in the interview,
he was not thinking about symbols xi and ais as representing the same concept. After this point on the
interview though, SA21 begins to try to consider potentials of ai and xi relating. That is when he appears
to attempt to form another metonymy using his existing metonymies. As SA21 was repeatedly asked
whether he considers potential association between vector equations and linear combinations he was
providing, he began questioning whether ais and xis are related. This appeared to have encouraged him
to interpret them using his existing metonymies leading to the formation of a new metonymy. His
existing metonymic reasoning appeared to have let to the formation of solution standing for linear
combinations. Specifically, solutions of the form x1=….x3=x3 appears to represent coefficient values for
linear combinations.
The use of xis as vectors and coefficient values for vectors fits well with his reasoning of solutions
representing linear combinations. That is, SA21 considers xis representing coifficient values for
corresponding vectors. He is not able to see any connection between his metonomic use of solution as
linear combination and solutions as values for the unknowns ais of his equation. This is appeareant in hs
attempt to explain how his linear combinations he states and vector equations are related.
48.SA21: Yeah, I think this would work just for simple, but I think this is the key for maybe a larger set, so I'm
thinking, if… if we were to have a bigger set, I would actually have more and more, and then from here it
would maybe tell me if I could write one, 'cause I'm thinking… I'm thinking so… if this is a… since this is our
independent vector [appear to point x3(-2, -1, 1)], these depend on it [pointing to first two columns of a
matrix], so I just have to substitute this [appear to point x1= x2= x3=..] into here [pointing to a matrix] and I
could get… I could probably write one [meaning linear combination] into this equation
[a1u1+a2u2+….+anun=0]…
77.SA21: I was wondering if I was to form another matrix but I was like… whoo why… because say, say these
are not values I guess now, these are other vectors (student points at the vectors [-1;-1;1;0;0], [-1;-3;0;1;0],
and [-1;-7;0;01]) and these are unknowns (student points at the variables x3, x4, and x5) and I was wondering
if I was to form a… the 5 by 3 what would it give me…
78.,SA21: I’m thinking… so I’m already saying that I think I’m saying that my x1 and x2 are independent
vectors… and that x sub… [variables->vectors]
79.SA21: I think well I… I wanna say these two or why… I would say these two because I put them in this order,
so I would say that these 2 would be independent (student points at vectors u1=[2;3] and u2=[1;1]) and these
independent vectors(student points at vectors u3, u4, and u5) these depend on these (student points at
vectors u1 and u2)… so then I think this is telling me that… I wonder if I was to put a x3 and then say some
value… [identity->independent]
80.SA21: Oh, no… what do I want to say?... so I know this is my unknown [pointing to x1 in
(x1,x2,x3..)=x1(2,..)+x2(2,…)+….] for my very first vector… this is the second one (pointing to x2 in
(x1,x2,x3..)=x1(2,..)+x2(2,…)+….] this is for 3rd and 4th… so I wonder if I was to put… I think maybe it’s telling
me that if I was to look at it this way, I have… do I have a minus 1? (student rotates notepad 90 degrees
counterclockwise)…so I am thinking If I want to express the third vector [pointing to x3 in x3(-1,-2, 1,0)]…This is
my third vector [pointing to u3 in a set], my x3.
81.SA21: So I wanna say that suppose I wanna try this [third vector??? Check] as a combination of this… it’s
telling me that if I was to have the… if I pick any value for x3 suppose I want 2, can I write in this here?
86.SA21: so I want x3 to be equal just some 2. and its telling me that I can write a linear combination of this
third vector which is I’m gonna say… what was it? … [3;4]…
Along with his idea of xis provide coefficients for linear combinations as seen in the above excerpt,
he now interpret xi s in (x1, x2, …)=x3(-1,-1,1,0) as referring to his unknowns and values in (-1,1,1,0) as their values, still however considering xis representing vectors. Consider the excerpt
below. SA21 is considering the values in (-2,-2,2,0) as the coefficients to consider a linear
combination for the third vector where x3 stands for the third vector and each entry value in (-2,2,2,0) associated with corresponding vector identified by the symbols in (x1,x2, x3,..). That is , he
now identifies the first vector with x1 component in (x1,x2, x3,..), and consider the first component
value, -2, in (x1,x2, x3,..)=(-2,-2,2,0) as the value of unknown and also the coefficient to be used for
the first vector.
83.SA21: that if I wanna write this [pointing to u3=[3,4????] ] as a combination of all these… then I can
substitute these 2 into here [pointing to x3(-1,-1,1,0) so it’s gonna give me -2, -2, 2, 0, 0 so since this [pointing
to -2 in (-2,-2,2,0)] belongs to my, my first unknown, the… I wanna say that I can express u1 as a -2u1 and
since we are adding them, it’s telling me that it can uh… I should have wrote… a minus since then I have a
minus 2u2 would equal my u3, my third vector, I think that’s kinda like…
SA21: that’s going to give me -4, -6… [student writes -2[2;3]+2[1;1]=[-4;-6]]
85.SA21: So, this is… actually -2, -3.. ok, hold on… this should be a -2… but what I think is I didn’t multiply the
third vector by the 2. So I should have a 2… (student tries to explain is statement -2[2;3]-2[1;1]=[-4;-6]+[-2;-2])
86.SA21: So, that should be a 3 times 4 which would give you 6 and then an 8 it doesn’t look like I’m getting
what I want… (student multiplies 2[3;4]=[6;8]) [linear combination]
87.SA21: If I add these collectively [[-4;-6]+[-2;-2]], probably… if I were to add them I’d get a minus 6 and
minus 8, and I have the opposite. [linear combination]
88. SA21: I’m focusing on… since I want to express these [check the video]… I know somehow this [x3(-1,2,1,0)]] has to just tell me that I can express this third vector [meaning u3 in a set] somehow with a
combination with these numbers (student points at the statement x3[-1;-2;1;0] ) [linear combination] x3>vector.
Formation of New Metonymy
SA21: So I am really saying that I think of saying that my x sub 1 and x sub 2 are independent vectors,
and that ….or I would say these two [pointing to u1 and u2 in a set] because I put them in this order. So I
would say that these two would be independent and these independent vectors these dependent on
these [pointing to the last three vectors in a set] so and I think this is telling me that I wonder I was to
 x1 
  2
x 
  1
 2
 
put of x sub 3 like think some value?...I know this [pointing to x1 and -2 in  x3   x3  1  ] is my
 
 
 x4 
0
 x5 
 0 
unknown for my very first vector this is the second one, this is the third and fourth. So I wonder if I was
to put. I think may be telling me that if I was to look at it this way…..so I am thinking if I want to express
 x1 
  2
x 
  1
 2
 
the third vector [circling x3 in  x3   x3  1  ]….I wanna say this [pointing to u3 in a set] is my third
 
 
 x4 
0
 x5 
 0 
vector my x sub 3 because I gave it this…so I wanna say that suppose I wanna write this as a
combination of this it is telling me that if I was to have that. If I pick any value for x sub three, suppose I
want two.. so I want x sub 3 equal just some two. It is telling me that I can write a linear combination of
this third vector…as a combination of all of these [pointing to a set of vectors]…then I can substitute this,
 x1 
  2
x 
  1
 2
 
two, into here [pointing to  x3   x3  1  ] so it is going to give me…..since this belongs to my first
 
 
 x4 
0
 x5 
 0 
unknown [pointing to -2 in [-2,-1,1,0,0] ] I wanna say that I can express u sub one as a minus two u one
…since we are adding them it is telling me that …will equal my u sub 3 my third vector? Kind of like…
I: Can we verify it?
Carrying out the computation of 2u1+v…
SA21: I didn’t multiply the third vector with two…this should be a two…getting a six and an eight….If I
was to add them…It does not look like I am getting what I want [meaning the third vector]…I just know
that I messed up somewhere…
I: What are you focusing on, on that page?
SA21: I am focusing on since I wan to express these I know somehow this has to. This [pointing to
 x1 
  2
x 
  1
 2
 
 x3   x3  1  ] telling me that I can express this third vector [pointing to x3 in
 
 
 x4 
0
 x5 
 0 
 x1 
  2
x 
  1
 2
 
 x3   x3  1  ]
 
 
 x4 
0
 x5 
 0 
somehow with a combination with these numbers [pointing to [-2,-1,1,0,0]] ….I don’t know I just kind of
left them [meaning x4 and x5] alone… Since these are independent I mean these are dependent vectors
 x1 
  2
  2
  2
x 
  1
  1
  1
 2
 
 
 
[pointing to  x3   x3  1   x 4  1   x5  1  ] that dependent on somehow these [pointing to u1
 
 
 
 
 x4 
0
0
0
 x5 
 0 
 0 
 0 
 2
1
 3
5 
9
and u2 in a set {u1   , u 2   , u 3   , u 4   , u 5   } ] two. I don’t really need to worry
 3
1
 4
6 
10
  2
 2
  1
  1
 
 
about these [pointing to x4  1   x5  1  ]. I just want to express one of them but…
 
 
0
0
 0 
 0 
Conclusion
There are many studies documenting metonymic reasoning at the pre-college level, but very little at the
college level, especially in advanced mathematics topics. This paper outlined one case to make the case
that metonymic use may be as common, if not more often, at the advanced college mathematics
courses. SA21 interview responses painted a portrait of how a student may be functioning with
metonomies and how his/her reasoning may be influenced by them. Furthermore, we observe among
this student’s responses that metonomic reasoning may have shaped the students knowledge of the
concepts, and resulted in a new metonymic knowledge.
This infact may have implications for learning and teaching of advanced mathematics courses especially
courses such as linear algebra that heavily use formal language; symbolic approach, which may be
encouraging the formation of metonymies with fixed meanings as was the case with xi representing only
vectors or known values in our student’s knowledge.
Toward the end of the interview, SA21’s responses clearly showed that Student was reasoning mainly
with his metonomies and integrating them into his ideas of linear combination. In fact his metonymies
appear to have lead to the formation of a knowledge of solutions of the form x1=, x2=, x3=x3, standing
for coefficient values for linear combinations….
Our case further supports the earlier studies that in fact metonymies appear to be cognitive constructs
with meanings associated to (Presmeg,?????), not just literally devices to aid with recalling (reference…).
They need to be taking with utmost importance and considered their role when one’s knowledge of
advanced mathematics concepts.
Download